OpenAI заявила, что ее новая reasoning-модель получила оригинальное математическое доказательство, которое опровергает известную нерешенную гипотезу в геометрии. Эту задачу Пол Эрдёш сформулировал в 1946 году.
Для компании это уже не первый громкий анонс по задачам Эрдёша. Семь месяцев назад бывший вице-президент OpenAI Кевин Вейл написал в X, что GPT-5 нашла решения 10 ранее нерешенных задач Эрдёша и продвинулась еще по 11.
Позже выяснилось, что GPT-5 не решила эти задачи, а лишь нашла решения, которые уже были опубликованы в научной литературе.
После этого OpenAI столкнулась с критикой со стороны конкурентов, включая Янна Лекуна и главу Google DeepMind Демиса Хассабиса. Вейл затем удалил свой пост. В новом объявлении OpenAI, по крайней мере, постаралась избежать той же ошибки: вместе с заявлением компания опубликовала комментарии математиков Ноги Алона, Мелани Вуд и Томаса Блума, который ведет сайт Erdos Problems и ранее называл пост Вейла «сильным искажением фактов».
«Почти 80 лет математики считали, что лучшие возможные решения выглядят примерно как квадратные решетки, — написала OpenAI в X. — Теперь модель OpenAI опровергла это представление, обнаружив совершенно новое семейство конструкций, которое показывает лучший результат».
Компания также заявила, что это «первый случай, когда ИИ самостоятельно решил заметную открытую задачу, важную для целой математической сферы». По версии OpenAI, доказательство получила новая универсальная reasoning-модель, а не система, созданная специально для математики или конкретно для этой задачи.
По словам компании, это важно, потому что системы ИИ стали лучше удерживать длинные цепочки рассуждений и связывать идеи из разных дисциплин способами, которые исследователи ранее могли не рассматривать. OpenAI считает, что такие возможности могут быть полезны для биологии, физики, инженерии и медицины.
«ИИ помогает нам полнее исследовать собор математики, который мы строили веками, — сказал Томас Блум. — Какие еще невидимые открытия нас ждут?»
Источник: исходный материал с заявлением OpenAI и комментариями математиков, упомянутыми в публикации.