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