Американский гигант в области искусственного интеллекта OpenAI во вторник опубликовал сразу более 350 доказательств крупных математических задач — от алгебры до топологии, включая одну из них, которую эксперты уже сравнивают с работой уровня медали Филдса. Как сообщается в публикации Diari ARA от 10 октября 2026 года со ссылкой на The New York Times, эта лавина результатов вызвала настоящее потрясение в мировом математическом сообществе.

Наиболее ярко на публикацию отреагировал Алекс Конторович (Alex Kontorovich), руководитель математического факультета Университета Ратгерса (США). «Если бы это сделал человек, ему немедленно, без всяких сомнений, присудили бы медаль Филдса — высшее признание в области математики», — заявил он об одном из представленных доказательств. Речь идёт о доказательстве так называемой квази-гипотезы Римана — конъектуры, напрямую связанной с самой известной из нерешённых «Проблем тысячелетия», гипотезой Римана, и способной стать шагом на пути к её решению.

Всего, по данным The New York Times, компания опубликовала десятки тысяч страниц с результатами, охватывающими открытые вопросы практически всех разделов математики: алгебры, теории чисел, теоретической информатики, математической логики и топологии. Полностью ни одна из «Проблем тысячелетия» пока не решена, однако, по оценкам экспертов, представленные результаты связаны или косвенно продвигают решение всех пяти.

Мартин Бридсон (Martin Bridson), математик из Оксфордского университета и президент Института математики Клэя (Clay Mathematics Institute), учредившего «Проблемы тысячелетия», назвал публикацию «впечатляющей». «Ещё совсем недавно было бы невозможно представить, что границы математики могут продвинуться так далеко за один день», — сказал он. Бридсон признаётся, что в списке OpenAI есть задачи, направлявшие его собственную научную работу: «Я много размышлял над всеми этими проблемами». По его словам, объявление решений «будет захватывающим для одних, пугающим для других и разрушительным для некоторых». «Мы должны принять силу, которую дают нам машины, но не должны превращаться в подчинённых, слепо следующих их курсу», — добавил он.

Кен Оно (Ken Ono), профессор Университета Вирджинии и сооснователь специализирующейся на математике ИИ-компании Axiom Math, не уверен, что решение квази-гипотезы Римана открывает путь к решению исходной гипотезы. Но он отмечает, что из этого результата может вырасти целая «энциклопедия следствий», дающая плодородную почву для будущих открытий. «Думаю, многие математики, как и я, вчера испытали ощущение удара в солнечное сплетение, — признался он. — Но это ощущение быстро сменяется энтузиазмом и решимостью. Для тех, кто работает над продвижением математики, это вызов и приглашение стремиться выше».

Реакции при этом крайне неоднозначны. Брина Кра (Bryna Kra) из Северо-Западного университета заинтересовала задача № 145 из списка — проблема Рохлина о том, влечёт ли свойство перемешивания перемешивание более высокого порядка; вопрос был сформулирован ещё в 1940-х годах. Она считает результаты впечатляющими, но замечает, что их формулировка «не позволяет понять суть», а десятки тысяч страниц доказательств теперь предстоит тщательно проверить. Двукратный лауреат медали Филдса и Абелевской премии француз Жан-Пьер Серр (Jean-Pierre Serre), эмерит-профессор Коллеж де Франс, обнаружил в публикации подтверждение конъектуры, которую сам сформулировал почти семьдесят лет назад. Тем не менее к применению ИИ в математике он относится противоречиво: «Математики получают удовольствие двумя разными способами: учась и открывая новое. ИИ усиливает первое удовольствие и уменьшает второе. Проблема в том, что он может уменьшить его слишком сильно, и это особенно серьёзно для молодых математиков».