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