OpenAI объявила, что её новая модель общего назначения создала доказательство, которое опровергло знаменитую гипотезу в геометрии, сформулированную Полом Эрдо́шем в 1946 году. По заявлению компании, предложенные конструкции работают эффективнее традиционных «квадратных сеток», использовавшихся математиками почти восемь десятилетий. Это первое подтверждённое автономное решение ИИ открытой задачи, важной для всей области математики.
Что произошло
Модель, названная в пресс‑релизе GPT‑5, не была специально обучена для математики, а представляет собой общую систему рассуждения. Вместе с объявлением OpenAI разместила комментарии ведущих учёных — Noga Alon, Melanie Wood и Thomas Bloom. Последний, участвующий в проекте Erdos Problems, ранее высказывался скептически о подобных заявлениях компании. В этом случае математики подтвердили, что доказательство действительно ново и не встречалось в литературе.
Почему это важно
Успех показывает, что современные ИИ‑модели могут выполнять длительные, сложные логические цепочки и объединять идеи из разных областей. Это открывает возможности для применения в биологии, физике, инженерии и медицине, где часто требуется интегрировать разрозненные знания. Достижение также укрепляет доверие к ИИ как инструменту фундаментальных исследований, а не только помощнику в рутинных задачах.
Что дальше
OpenAI планирует расширять возможности модели, направляя её на более сложные открытые задачи в разных дисциплинах. Учёные рассчитывают, что такие прорывы ускорят появление новых теорий и технологий и помогут лучше понять структуру математических доказательств.