Математики об ИИ-прорыве OpenAI: восторг, тревога и спор о чужих заслугах
OpenAI заявила, что её модель Astra решила 10 давних математических задач. Математики разделились между восторгом и тревогой, а вокруг одной из задач разгорелся спор об авторстве.
В середине августа 2026 года OpenAI объявила, что её ещё не выпущенная модель Astra решила 10 давних математических задач, часть из которых не поддавалась академикам десятилетиями. Для математического сообщества это событие стало одновременно поводом для восторга, тревоги и спора о том, кому на самом деле принадлежит заслуга.
Пока одни учёные говорят о возможном ускорении математических открытий, другие признаются, что не знают, что ждёт их дисциплину. А вокруг одного из результатов — о существовании несофических групп — уже разгорелась дискуссия о корректности формулировок OpenAI.
Что именно решила Astra
По данным The Verge, задачи, которые OpenAI представила как решённые, охватывают разные области математики: от абстрактных структур до вопросов с прямым прикладным значением. Среди них — плотная упаковка сфер в пространствах размерности больше трёх, что связано с эффективностью кодирования и передачи данных; улучшение кодов, исправляющих ошибки, которые помогают восстанавливать информацию из зашумлённых сигналов; и два давних вопроса о том, когда в сложных связных сетях появляются структурные закономерности.
Отдельно в списке — задачи из квантовой теории игр и поиск целей в многомерных решётках, что важно для методов постквантовой кибербезопасности. Но наибольшее внимание привлёк результат о несофических группах — бесконечных математических структурах, которые, грубо говоря, нельзя приблизить конечными. Вопрос о том, существуют ли они вообще, оставался открытым десятилетиями.
Что говорят математики
Джеймс Мейнард, профессор Оксфордского университета и лауреат Филдсовской медали, рассказал The Verge, что последний год провёл в размышлениях о будущем своей дисциплины. Традиционно медленная математика сейчас вынуждена быстро адаптироваться к ИИ.
По словам Мейнарда и других математиков, с которыми поговорило издание, заявление OpenAI вызвало сложную смесь эмоций. Многие испытывают ощутимый энтузиазм от перспективы ускорить открытия, но одновременно — опасение, а у некоторых и отчаяние от мысли о том, что это значит для людей, посвятивших математике жизнь, и для будущих поколений исследователей. При этом мало кто сомневается, что глубокие перемены уже начались.
Спор о чужих заслугах
Результат о несофических группах привлёк внимание не только научной ценностью. Возник спор о том, сколько в этом достижении принадлежит ИИ, а сколько — математикам, на чьи работы он опирался.
Франческо Фурнье-Фачио, математик из Кембриджского университета, заявил The Verge, что он и его коллеги считают: в первоначальном анонсе OpenAI были приуменьшены заслуги Андреаса Тома и Габора Куна, чьи недавние работы заложили основу для результата. В первой версии сообщения OpenAI утверждала, что публикует решения задач, которые оставались открытыми и «не видели прогресса по основному результату как минимум десять лет». Позже формулировку изменили на «результаты, каждый из которых решает или обеспечивает существенный прогресс в давней открытой задаче», но примечания с объяснением правки на странице нет.
Позиция OpenAI и реакция Куна
Габор Кун, исследователь из венгерского Института математики Альфреда Реньи, рассказал, что OpenAI связалась с ним по электронной почте незадолго до публикации. Он назвал размашистую формулировку анонса «довольно комичной», особенно потому, что приложенная научная статья «ясно говорила, что опирается на мои результаты 2016 и 2019 годов»; работа 2019 года написана в соавторстве с Томом. «Это довольно небрежно», — сказал Кун.
После публикации OpenAI снова связалась с Куном. Он не стал показывать переписку целиком, но процитировал отрывок, в котором математик OpenAI писал, что формулировка не должна была означать отсутствие прогресса по задаче, и признавал: «Мы полностью согласны, что аргумент существенно опирается на вашу работу». В письме также говорилось, что формулировку попросят пересмотреть.
Представитель OpenAI Лоранс Фоконне подтвердил изданию, что сообщение обновили. По его словам, язык изменили, чтобы лучше отразить предшествующие исследования, на которых основаны результаты: хотя вопрос о существовании несофических групп оставался открытым десятилетиями, доказательство опирается на важные математические работы, опубликованные позднее, и компания хотела, чтобы вклад этих авторов был должным образом признан. Кун, в свою очередь, признался, что не знает, не допущены ли похожие небрежности в других результатах, которые находятся вне его специализации.
Насколько можно доверять результатам
Оценивать заявление OpenAI сложно. Математика стала настолько специализированной, что мало кто способен проверить все области, которых коснулась Astra. Компания выпустила более 250 страниц статей с решениями и ещё 60 страниц описаний того, «как сложились идеи». Каждый результат был проверен с помощью Lean — программного обеспечения для верификации математических доказательств.
Многие математики, опрошенные The Verge, признались, что не могут лично оценить часть или даже ни одно из решений. Тем не менее, по их словам, в сообществе есть широкий консенсус: за результатами, похоже, действительно стоит реальная научная работа, а не просто заявление ради эффекта.
Что пока не подтверждено
Остаётся неясным, насколько корректны формулировки OpenAI в отношении остальных девяти задач — Кун отметил, что не может судить об этом вне своей области. Нет и официального примечания о том, почему и когда была изменена формулировка анонса.
Также пока не публиковались независимые проверки решений сторонними математиками — учитывая, что результаты охватывают разные узкие области, такая проверка может занять значительное время.
| Задача | Суть | Значение |
|---|---|---|
| Упаковка сфер | Как плотно разместить сферы в пространствах размерности больше трёх | Кодирование и передача данных |
| Коды, исправляющие ошибки | Восстановление информации из зашумлённых сигналов | Связь, хранение данных |
| Несофические группы | Существуют ли бесконечные структуры, не приближаемые конечными | Фундаментальная математика, открытый вопрос десятилетиями |
| Сложные сети | Когда появляются структурные закономерности | Теория сетей |
| Постквантовая безопасность | Поиск целей в многомерных решётках, квантовая теория игр | Методы защиты после появления квантовых компьютеров |
Источник: https://www.theverge.com/ai-artificial-intelligence/977273
Связанные рубрики и темы
Если тема нужна для работы или подготовки, начните с ближайших разделов и инструментов.
