ИИ OpenAI решил 10 сложных математических задач. Теперь математики задаются вопросом, сколько стоит их работа.

Ключевые моменты

• В 2025 году OpenAI объявила, что внутренняя модель ИИ под названием Astra решила 10 давно открытых математических проблем, некоторые из которых оставались нерешенными десятилетиями.
• Один результат вызвал спор о признании заслуг, так как в первоначальном объявлении OpenAI не упомянули двух математиков, на последние работы которых опиралось доказательство.
• OpenAI тихо изменила формулировку своего объявления после жалоб затронутых исследователей, без добавления примечания об исправлении.
• Профессор Оксфорда и лауреат Fields Medal Джеймс Мейнард сказал, что решение любой из этих 10 задач обычно обеспечивает исследователю академическую должность.
• Математики теперь открыто задаются вопросом, будут ли университеты продолжать финансировать работу человеческих исследователей на текущем уровне.

OpenAI решила десять математических задач, которые ставили в тупик профессиональных исследователей на протяжении десятилетий. Модель, которую она использовала, называется Astra и представляет собой внутреннюю версию того, что компания описывает как свой следующий крупный релиз. Она пока недоступна для широкой публики.

Результаты охватывают широкий спектр областей. Один результат разгадал вопрос об упаковке сфер в более чем трёх измерениях, что связано с тем, как эффективно сжимаются и передаются данные. Другой продвинул вперёд коды с исправлением ошибок — технологию, которая помогает вашему телефону восстановить искажённый сигнал. Третий решил два открытых вопроса о том, когда большие связные сети начинают проявлять предсказуемые структурные закономерности.

Один результат привлёк особое внимание: доказательство о так называемых несофических группах, типе бесконечной математической структуры, существование которой оставалось открытым вопросом десятилетиями. Это также вызвало публичный спор о признании заслуг.

Кто на самом деле заслуживает признания?

Признание заслуг частично принадлежит человеческим математикам, на чьи недавние работы напрямую опиралось доказательство OpenAI, и эти исследователи говорят, что первоначальное объявление не делало это ясным.

Франческо Фурнье-Факио, математик из Кембриджского университета, рассказал The Verge, что первоначальный пост OpenAI минимизировал вклад Андреаса Тома и Габора Куна. Кун, исследователь из Института математики имени Альфреда Реньи в Венгрии, сказал, что его связались по электронной почте вскоре перед публикацией OpenAI своих результатов. Он нашёл обширный язык в первоначальном посте «довольно комичным», потому что прилагаемая исследовательская работа «ясно сказано, что она строится на моих результатах 2016 и 2019 годов».

В первоначальном посте OpenAI говорилось, что она делится «результатами задач, которые были открыты и не имели прогресса по основному результату как минимум десять лет». После жалоб компания изменила эту строку на формулировку о том, что она делится «результатами, каждый из которых решает или добивается существенного прогресса в давно открытой задаче». Никакая заметка об исправлении добавлена не была.

Представитель OpenAI Лорен Фоконнет подтвердил обновление, сказав, что компания «хотела убедиться, что эти вклады были надлежащим образом признаны». Кун сказал, что интересуется, произошли ли похожие упущения в отношении остальных девяти результатов.

Что это означает для математиков как профессии?

Область потрясена, и некоторые исследователи уже задаются вопросом, будут ли университеты платить им то же самое, что и раньше.

Джеймс Мейнард, профессор из Оксфорда, лауреат Fields Medal, высшей награды в математике, сказал, что каждая из десяти задач была типом вопроса, над которым серьёзные исследователи потратили годы и неоднократно терпели неудачу при решении. «Существует общее ощущение, что решение одной из этих 10 задач обеспечит вам должность в академии», сказал Ян-Хюй Хе из Лондонского института математических наук.

В мае OpenAI сказала, что внутренняя модель разгадала гипотезу легендарного математика Пола Эрдёша, нерешённую почти столетие. В июле гарвардский математик сообщил, что Claude Fable 5 от Anthropic опроверг гипотезу Якобиана, результат, который перевернул десятилетия попыток доказать её истинность.

Это не маргинальные загадки. Это те задачи, которыми математики действительно озабочены.

Прежде чем делать слишком много выводов из скорости этого сдвига, запомните одно: вы слышите об успехах. Никто не пишет заголовки о сотнях математических задач, которые ИИ попытался решить и не смог. Успехи реальны. Также реален и отбор.

При этом давление на человеческих исследователей также реально. Мейнард провёл прошлый год в том, как он сам это называет, «самопознании» относительно будущего своей области. Деньги — это часть беспокойства. Остаётся ли открытым вопрос о том, будут ли университеты продолжать платить за человеческих математиков по текущим ставкам.

Один честный вывод: если вы работаете в какой-либо области знаний, где результат — это документ, доказательство или дизайн, следите за тем, что происходит с должностями математиков в течение следующих двух лет. Это самый чёткий ранний сигнал, который у нас есть.