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