Математики отреагировали на публикацию OpenAI сотен математических результатов, созданных ИИ
Коротко
На этой неделе OpenAI разом опубликовала сотни математических результатов, созданных ИИ, в таких областях, как теория чисел, алгебра, топология и теоретическая информатика. The Seattle Times, опубликовавшая материал The New York Times, насчитала более 350 результатов, обнародованных во вторник, а The Verge — почти 400 результатов в более чем 700 рукописях. Среди них — доказательство «квазиримановой гипотезы», которое, по оценке Алекса Конторовича, заведующего кафедрой математики Rutgers, стоило бы «мгновенной медали Филдса», если бы его получил человек.
Читать полностью 2 мин чтения
На этой неделе OpenAI опубликовала большую коллекцию математических результатов, созданных ИИ, что вызвало бурную реакцию математиков. По данным The Seattle Times, опубликовавшей материал The New York Times, во вторник компания разом обнародовала более 350 результатов общим объёмом в десятки тысяч страниц. The Verge сообщила, что OpenAI опубликовала почти 400 результатов, созданных ИИ, в более чем 700 рукописях, и что коллекция настолько велика, что OpenAI выпустила руководство по навигации по содержащему её репозиторию на GitHub. [ 2 , 3 ]
«Если бы это сделал человек, это была бы мгновенная медаль Филдса, без вопросов», — такую оценку одному из доказательств в соцсетях дал Алекс Конторович, заведующий кафедрой математики Rutgers. Согласно материалу, этот результат, возможно, самый значимый, — доказательство «квазиримановой гипотезы», связанной с гипотезой Римана и способной стать своего рода ступенью к её решению. По оценке Мартина Бриджсона из Оксфордского университета, президента Математического института Клэя, релиз «захватывает дух»; по мнению Бриджсона, ещё совсем недавно было бы невозможно представить, что границы математики за один день сдвинутся так далеко. [ 2 ]
В материале говорится, что среди результатов, судя по всему, есть ключевые открытые вопросы почти во всех разделах математики, включая алгебру, теорию чисел, теоретическую информатику, математическую логику и топологию. The Verge назвала среди охваченных дисциплин комбинаторику, несколько разделов геометрии, теорию вероятностей и статистическую механику, а также математическую физику. Ни одно из доказательств полностью не решает ни одну из пяти оставшихся задач тысячелетия, но, судя по всему, в результатах есть смежные или косвенные продвижения по всем из них, говорится в материале The Seattle Times. [ 2 , 3 ]
Более трёх десятков математиков описали релиз для The Verge словами «ошеломляющий», «подавляющий», «беспрецедентный», «нереальный» и «чистое безумие». Все сошлись на том, что на одно лишь осмысление опубликованного OpenAI могут уйти годы, и многие опасались, что OpenAI не станет ждать так долго и перейдёт к другим задачам или опубликует ещё больше. Несколько человек сказали, что на изучение оглавления и аннотаций объёмом около 40 страниц у них ушла большая часть часа. «Одно лишь знакомство со всем списком аннотаций подавляет», — такова оценка Альваро Лосано-Роблидо, профессора математики Университета Коннектикута. The Verge отметила, что некоторые рукописи содержат формализации на Lean — языке программирования и системе проверки доказательств, позволяющей верифицировать результаты вычислительными средствами. [ 3 ]
The New York Times написала, что релиз развеял любые сомнения в том, что область изменилась навсегда, и что, по словам экспертов, потрясение сильнее всего затронет студентов, особенно аспирантов, которые вот-вот войдут в математическое сообщество. [ 1 ]
Почему это важно
Согласно публикациям, в релиз вошли продвижения по открытым вопросам почти во всех разделах математики, а The New York Times написала, что область изменилась навсегда. Эксперты, на которых ссылается Times, говорят, что сильнее всего это затронет студентов, особенно аспирантов, а математики сообщили The Verge, что на одно лишь осмысление релиза могут уйти годы.
Ключевые факты
- Во вторник OpenAI опубликовала более 350 результатов, созданных ИИ, по данным The Seattle Times. [ 2 ]
- The Verge сообщила о почти 400 результатах, созданных ИИ, в более чем 700 рукописях, размещённых в репозитории на GitHub вместе с руководством от OpenAI по навигации. [ 3 ]
- Результаты охватывают такие разделы, как алгебра, теория чисел, теоретическая информатика и топология. [ 2 , 3 ]
- Самый значимый результат, по данным The Seattle Times, — доказательство «квазиримановой гипотезы», связанной с гипотезой Римана. [ 2 ]
- Ни одно из доказательств полностью не решает ни одну из пяти оставшихся задач тысячелетия, но, судя по всему, в результатах есть смежные или косвенные продвижения по всем из них, говорится в материале The Seattle Times. [ 2 ]
- Некоторые рукописи содержат формализации на Lean — языке программирования и системе проверки доказательств, позволяющей верифицировать результаты вычислительными средствами. [ 3 ]
Подтверждено несколькими источниками
Пока неясно
- Сколько результатов опубликовала OpenAI. The Seattle Times пишет о более чем 350 результатах; The Verge — о почти 400 результатах в более чем 700 рукописях.
- Выдержат ли результаты проверку и чего они стоят. Математики сказали The Verge, что на осмысление релиза могут уйти годы и что предварительная оценка затруднена.
- Как релиз повлияет на студентов и математиков в начале карьеры. Только в изложении The New York Times эксперты говорят, что сильнее всего это затронет аспирантов.
- Опубликует ли OpenAI в ближайшее время новые результаты. The Verge сообщила, что многие математики опасались, что OpenAI перейдёт к другим задачам или опубликует новые результаты раньше, чем область успеет усвоить этот релиз; заявления OpenAI на этот счёт в документах нет.
Что пишут местные СМИ
Хронология, местное время
- The New York Times публикует материал о реакции математиков на релиз OpenAI (2026-10-08). [ 1 ]
- The Seattle Times публикует этот материал, сообщая, что во вторник OpenAI опубликовала более 350 результатов (2026-10-09). [ 2 ]
- The Verge публикует реакции более чем трёх десятков математиков на релиз (2026-10-09). [ 3 ]