OpenAI заявляет о прорывах ИИ в трёх научных областях

OpenAI 26 октября объявила, что её внутренняя ИИ-модель получила доказательства, бросающие вызов устоявшимся представлениям в математике, информатике и физике.

Математика

Результат в математике касается гипотезы локальной гладкости в гармоническом анализе. Эта гипотеза была сформулирована Кристофером Согге в 1991 году и описывает ситуацию, при которой волна при экстремальной фокусировке не может долго сохранять концентрацию. OpenAI утверждает, что её модель 18 октября сгенерировала доказательство, охватывающее все размерности пространства, а на следующий день формально верифицировала его с помощью пруфера Lean; материалы выложены на GitHub для самостоятельного изучения исследователями.

Если доказательство верно, гипотеза Какеи и гипотеза ограниченности Стейна решаются как следствия. Примечательно, что трёхмерный случай гипотезы Какеи был незадолго до этого, в 2025 году, решён Ван Хун и её коллегами, получившими за это Филдсовскую премию, — тогда как OpenAI заявляет о доказательстве, охватывающем все размерности.

Информатика

В информатике OpenAI заявляет, что модель опровергла гипотезу экспоненциального времени (ETH) — краеугольный камень теории вычислительной сложности с 1999 года. Если результат подтвердится, некоторые задачи, считавшиеся принципиально нерешаемыми за быстрое время, могут иметь более эффективные алгоритмические пути. Однако здесь сама формулировка «опровергла» выглядит категоричной: в тексте далее оговаривается «если доказательство верно», что создаёт тональное противоречие.

Физика

Физическая часть оказалась наиболее сдержанной. OpenAI сообщила, что модель представила строгое математическое доказательство существования взаимодействующей квантовой теории поля, включающей калибровочные поля и фермионы, в четырёхмерном пространстве-времени, что затрагивает квантовую хромодинамику (КХД) и проблему существования теории Янга — Миллса, одну из «задач тысячелетия». Проверку этой области ведёт команда под руководством нобелевского лауреата по физике Дэвида Гросса; соответствующие документы пока полностью не опубликованы.

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