OpenAI заявила о решении фундаментальной математической задачи 80-летней давности

• OpenAI утверждает, что новая ИИ-модель впервые самостоятельно решила открытую математическую задачу.
• Речь идет о гипотезе, сформулированной Полем Эрдошем еще в 1946 году.
• Ранее компания уже подвергалась критике за преувеличение достижений GPT-5 в математике.

Компания OpenAI заявила, что ее новая модель рассуждений создала оригинальное математическое доказательство. По словам разработчиков, оно опровергает известную гипотезу в области геометрии, предложенную математиком Полем Эрдошем почти 80 лет назад.

В компании подчеркнули, что речь идет именно о новом решении, а не о поиске уже существующего доказательства в научной литературе.

Это заявление стало особенно заметным на фоне прошлогоднего скандала вокруг GPT-5. Тогда бывший вице-президент OpenAI Кевин Вейл заявил, что модель якобы решила сразу 10 нерешенных задач Эрдоша.

Позднее выяснилось, что GPT-5 лишь находила уже опубликованные решения. После критики со стороны представителей индустрии, включая главу Google DeepMind Демиса Хассабиса и исследователя Meta Яна Лекуна, Вейл удалил свой пост.

На этот раз OpenAI опубликовала комментарии нескольких известных ученых, поддержавших новое доказательство. Среди них — лауреат премии Израиля Нога Алон, профессор математики Гарвардского университета Мелани Вуд и британский математик Томас Блум, специализирующийся на задачах Эрдоша.

Автономное решение открытой задачи

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

Однако новая модель, как утверждает компания, смогла обнаружить совершенно другой класс конструкций, который показывает более эффективный результат. Разработчики назвали это «первым случаем», когда ИИ автономно решил важную