Реванш OpenAI: модель опровергла 80-летнюю гипотезу — и математики согласны

Гипотезу Эрдеша 1946 года не могли опровергнуть почти 80 лет. Прошлая попытка OpenAI заявить о прорыве обернулась скандалом. Сейчас результат подтверждают независимые математики — включая тех, кто тогда доказал, что заявление компании было ошибочным.

OpenAI объявила, что ее новая reasoning-модель (модель, способная выстраивать длинные цепочки рассуждений) самостоятельно опровергла знаменитую гипотезу Пала Эрдеша о единичных расстояниях. Задача звучит так: если расположить n точек на плоскости, какое максимальное число пар окажется на расстоянии ровно 1 друг от друга? Почти 80 лет считалось, что лучший результат дают конфигурации, похожие на квадратные сетки. Модель OpenAI доказала, что существуют конфигурации, дающие больше таких пар, — обнаружив принципиально новое семейство решений.

Компания называет это «первым случаем, когда ИИ автономно решил значимую задачу, центральную для целой области математики». Доказательство получено не от системы, специально натренированной на данных конкретной научной дисциплины, а от универсальной reasoning-модели — то есть результат говорит об общих способностях к рассуждению, а не о возможности натренировать нейросеть под конкретную задачу.

Тем, кто следит за деятельностью OpenAI, ситуация может показаться знакомой. В октябре 2025 года бывший вице-президент компании Кевин Вейл написал в X: «GPT-5 нашел решения 10 (!) ранее нерешенных задач Эрдеша и продвинулся еще в 11». Заявление оказалось преждевременным: модель не открыла ничего нового, а лишь переоткрыла решения, уже описанные в научной литературе. Последовали насмешки от конкурентов — директора Google DeepMind Демиса Хассабиса и главного ученого Meta* AI Янна ЛеКуна, — а Вейл удалил пост.

На этот раз OpenAI подготовилась основательнее. Одновременно с объявлением о научном прорыве компания опубликовала сопроводительные комментарии от математиков, подтверждающих результат: Ноги Алона, Мелани Вуд и Томаса Блума — того самого Блума, который ведет сайт Erdős Problems и который в прошлый раз назвал заявление OpenAI «грубым искажением фактов».

Значение результата выходит за рамки математики. По словам OpenAI, он демонстрирует, что ИИ-системы способны удерживать длинные и сложные цепочки рассуждений и связывать идеи из разных областей способами, которые исследователи ранее не рассматривали. Компания считает, что это имеет значение для биологии, физики, инженерии и медицины.

«Математика — собор, который мы возводили веками, а ИИ помогает нам находить его неизведанные уголки, — сказал Блум. — Что еще скрыто от нас?»

В октябре Блум опроверг заявления OpenAI. Сегодня он подтверждает ее результат. Для компании это реабилитация. Для науки — прецедент: ИИ способен не только обрабатывать существующее знание, но и создавать новое.

*Meta Platforms Inc. (включая продукты WhatsApp, Instagram, Facebook и Messenger) признана экстремистской организацией и запрещена на территории Российской Федерации.