Сегодня, 27 октября, OpenAI объявила о том, что её модели самостоятельно совершили открытия в математике, computer science и физике — не просто помогли исследователям, а сформулировали и доказали новые научные результаты.
Что именно удалось:
Математика. ИИ доказал локальную гипотезу о сглаживании (local smoothing conjecture) для всех измерений. Это автоматически решило и гипотезу Какеи, над которой математики бились с 1970-х. Доказательство получили 18 октября, а на следующий день формально верифицировали в Lean.
Информатика. Модель опровергла гипотезу об экспоненциальном времени (ETH) — фундаментальное предположение, на котором построены сотни научных работ в теории алгоритмов, вычислительной биологии и базах данных. Если ETH неверна, многие задачи могут оказаться решаемо быстрее, чем считалось.
Физика. ИИ предложил строгое математическое доказательство существования квантовой хромодинамики и теории Янга-Миллса — одной из семи «задач тысячелетия», за решение которой обещана премия в $1 млн. Работа ещё проверяется экспертами, включая нобелевских лауреатов.
OpenAI опубликовала все исходные данные и доказательства на GitHub для независимой проверки. Но признаёт: окончательное подтверждение от научного сообщества ещё впереди.
👇 Это действительно переворот в науке — или очередной громкий анонс, который развалится при проверке?
#OpenAI #наука #математика #физика #AIпрорыв #AIновости