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