OpenAI Делится Достижениями в Математике с Помощью Моделей ИИ

OpenAI объявила о новом прогрессе в решении открытых проблем в математике, используя свои внутренние передовые модели ИИ. Организация также поделилась формализациями доказательств на языке Lean, наряду с подробными результатами исследований, в своем репозитории GitHub. Эти обновления были опубликованы 2026-10-06.

Доказательства и контекст

Последнее объявление OpenAI основывается на ее недавних достижениях в области исследовательской математики с помощью ИИ. Более ранние вехи включают сообщенное опровержение гипотезы, связанной с проблемой планарного единичного расстояния в 2026-05, описанное как первое автономное решение ИИ выдающейся открытой проблемы в дискретной геометрии. Кроме того, в 2026-08 OpenAI выделила десять значительных достижений в математике и теоретической информатике, заявляя, что ее системы решили или существенно продвинули давние задачи.

Организация все больше сосредотачивается на использовании инструментов формальной верификации, таких как Lean, стремясь сократить ошибки и обеспечить достоверность своих сгенерированных ИИ доказательств. Эти инструменты имеют решающее значение, поскольку передовые системы ИИ переходят от решения задач соревновательного типа к решению математических вопросов исследовательского уровня. Однако некоторые громкие заявления OpenAI, включая спорный результат, связанный с проблемой тысячелетия Навье-Стокса, остаются на экспертной проверке.

В 2026-09 OpenAI сформировала математическую консультативную группу в ответ на проверку в отношении атрибуции и формальной верификации ее сгенерированных ИИ результатов. По состоянию на 2026-10 организация сообщает, что ее системы ИИ решили более 100 открытых проблем, сигнализируя о значительном шаге вперед в роли ИИ в продвижении теоретических знаний.

Хотя более широкие последствия для академической и прикладной математики очевидны, это объявление не относится к торгуемому активу или немедленному влиянию на рынок.