⁣🧠 OpenAI заявляет о трёх научных прорывах: ИИ доказал теоремы, которые не поддавались десятилетиями

Сегодня, 27 октября, OpenAI объявила о том, что её модели самостоятельно совершили открытия в математике, computer science и физике — не просто помогли исследователям, а сформулировали и доказали новые научные результаты.

Что именно удалось:

Математика. ИИ доказал локальную гипотезу о сглаживании (local smoothing conjecture) для всех измерений. Это автоматически решило и гипотезу Какеи, над которой математики бились с 1970-х. Доказательство получили 18 октября, а на следующий день формально верифицировали в Lean.

Информатика. Модель опровергла гипотезу об экспоненциальном времени (ETH) — фундаментальное предположение, на котором построены сотни научных работ в теории алгоритмов, вычислительной биологии и базах данных. Если ETH неверна, многие задачи могут оказаться решаемо быстрее, чем считалось.

Физика. ИИ предложил строгое математическое доказательство существования квантовой хромодинамики и теории Янга-Миллса — одной из семи «задач тысячелетия», за решение которой обещана премия в $1 млн. Работа ещё проверяется экспертами, включая нобелевских лауреатов.

OpenAI опубликовала все исходные данные и доказательства на GitHub для независимой проверки. Но признаёт: окончательное подтверждение от научного сообщества ещё впереди.

👇 Это действительно переворот в науке — или очередной громкий анонс, который развалится при проверке?

#OpenAI #наука #математика #физика #AIпрорыв #AIновости