Ключевые выводы
- Новая модель OpenAI самостоятельно опровергла гипотезу, сформулированную Полом Эрдёшем в 1946 г., о том, что оптимальные решения в задаче единичных расстояний выглядят как квадратные решётки.
- Доказательство пришло от общей модели рассуждений, а не от специализированного математического движка.
- Сообщество математики, включая Noga Alon, Melanie Wood и Томаса Блума, поддержало результаты и предоставило комментарии.
- Это первый случай, когда искусственный интеллект самостоятельно решил открытую проблему, значимую для целого раздела математики.
- Успех открывает путь к применению ИИ в биологии, физике, инженерии и медицине, где требуются длинные цепочки логики.
OpenAI объявила, что её новая модель рассуждения нашла оригинальное доказательство, опровергающее известную гипотезу в дискретной геометрии. Это событие привлекло внимание учёных, поставив вопрос о том, насколько далеко может зайти искусственный интеллект в чистой математике.
Что именно опровергла OpenAI?
В 1946 году Пол Эрдёш выдвинул предположение, что в задаче о максимальном числе точек с попарным расстоянием ≥ 1 (известной как задача о единичных расстояниях) оптимальная конфигурация напоминает квадратную решётку. Идея проста: равномерно распределить точки по прямоугольной сетке, чтобы «экономить» пространство.
Модель, о которой говорит OpenAI, показала, что существует целая семья построений, дающих больше точек, чем любые квадратные решётки. Эти конструкции основаны на новых комбинациях арифметических прогрессий и нелинейных трансформаций, которые ранее не рассматривались.
Таким образом, утверждение «наилучшее решение выглядит как квадратная решётка» стало неверным. Это не просто поправка к мелкой детали – гипотеза Эрдёша использовалась как ориентир в десятках последующих работ по дискретной геометрии.
OpenAI подчеркнула, что доказательство пришло от её «общей модели рассуждения», а не от специализированного «математического» ИИ, что делает результат особенно интересным.
Как возникло недоверие к прежним заявлениям OpenAI?
Семь месяцев назад бывший вице‑президент OpenAI Кевин Вейл в твиттере написал, что GPT‑5 «нашёл решения десяти ранее неразрешённых задач Эрдёша и продвинулся в одиннадцати других». Позже оказалось, что модель лишь пересказала уже известные решения, найденные людьми.
Эта ошибка вызвала бурную реакцию: Ян Лекун и Дэмис Хассабис (CEO DeepMind) публично высказали скепсис. Вейл удалил свой пост, а сообщество назвало его «драматическим искажением реальности».
Новый анонс отличается: OpenAI сразу опубликовала PDF‑компаньон, в котором математики Noga Alon, Melanie Wood и Thomas Bloom предоставили свои комментарии. Их подпись усиливает доверие к результату.
Сама компания отметила: «Это первый раз, когда ИИ автономно решил заметную открытую проблему в математике». Подобный уровень автономии ранее виделся только в узконаправленных системах.
Что говорят эксперты?
Thomas Bloom, ведущий администратор сайта ErdosProblems.com, в твиттере назвал заявление «вдохновляющим», но предупредил, что проверка и независимая репликация всё ещё необходимы. Он подчеркнул, что «математика требует строгой верификации», и отметил, что новые конструкции уже обсуждаются на семинарах.
Noga Alon, один из самых цитируемых теоретиков в теории графов, отметил, что «подход модели показывает, как ИИ может находить связь между, казалось бы, несвязанными областями». По его словам, это открывает новые пути в комбиниаторных исследованиях.
Melanie Wood, специалист по арифметическим геометриям, добавила, что «новые идеи могут отразиться на вопросах о распределении точек в более высоких измерениях», а значит, влияние может выйти далеко за рамки исходной задачи.
Все эти реакции подчёркивают, что, хотя доказательство уже имеет поддержку, научный процесс всё ещё в фазе проверки.
Почему это важно для других наук?
Доказательство продемонстрировало способность ИИ «удерживать» длинные цепочки рассуждений и «соединять» идеи из разных областей. Если такой механизм применять к биологии, он может помочь в поиске новых путей синтеза белков, где требуется объединять сведения о структуре, функции и эволюции.
В физике аналогичные модели могут ускорить вывод новых теорий, связывающих квантовую механику и гравитацию, за счёт перебора огромных наборов гипотез.
Инженерия и медицина тоже выигрывают: автоматическое построение доказательств может ускорить верификацию сложных систем безопасности или разработку новых лекарств.
Таким образом, успех в чистой математике служит «пробным полигоном» для более практических задач, где ошибки сто́ят дороже.
Что будет дальше?
OpenAI уже планирует выпустить более детализированную публикацию, где будут раскрыты технические детали модели, используемые архитектурные приёмы и примеры других открытых задач, над которыми модель сейчас работает.
Среди потенциальных целей – классические задачи из теории чисел, такие как гипотеза Коллатца, и открытые вопросы в теории графов. Если модель продолжит демонстрировать такие результаты, это может изменить способ, которым математики подходят к проблемам: от «человек‑центричного» к «человек‑+‑ИИ» исследованию.
Сейчас математики по всему миру следят за реакцией сообщества, готовятся к проверке доказательства и к обсуждениям новых методов, предложенных ИИ.
Справка
OpenAI – американская исследовательская компания, основанная в 2015 г. Илоной Маск, Сэмом Альтманом и другими. За годы работы она выпустила серию моделей GPT, построенных на трансформерах, а также инструменты DALL·E и Codex.
Пол Эрдёш – венгерско‑американский математик, один из самых продуктивных ученых 20 в. Его открытые задачи (Erdős problems) стали эталоном для исследователей в комбинаторике и теории чисел.
Noga Alon – израильский математик, известный своими работами в теории графов, комбинаторике и теории информации. Получил премию Филдса (2022) за вклад в комбинаторную теорию.
Melanie Wood – профессор Кембриджского университета, специалист по арифметической геометрии, исследует вопросы о распределении точек на алгебраических множествах.
Thomas Bloom – британский математик, поддерживает сайт ErdosProblems.com, где собираются открытые задачи Эрдёша и их текущие статусы.
ErdosProblems.com – онлайн‑ресурс, где собраны более 250 открытых задач, сформулированных Полом Эрдёшем, с указанием текущего прогресса и ссылками на публикации.
GPT‑5 – пока не официально названная модель, упоминаемая в контексте прежних заявлений OpenAI; в реальности она не решала новые задачи, а лишь находила уже известные решения.
Итоги: OpenAI показала, что ИИ может самостоятельно генерировать новые математические идеи, а не просто копировать существующие. Это значит, что в ближайшие годы мы, вероятно, увидим больше таких «умных» открытий, где человек и машина работают вместе.
