Раньше нейросети решали олимпиадные задачи для людей, а теперь появилась отдельная олимпиада для ИИ. Ее организовали не какие-то фрики, а те же организаторы престижнейшей олимпиады для людей. В оргкомитете - цвет мировой математической науки.
Модель на базе ИИ решает задачи по геометрии на уровне бронзового медалиста (и это только начало!). Читайте, почему это достижение, какое отношение имеет к человеческой логике и что значит для развития ИИ и науки в целом.