Модели OpenAI нашли доказательства трёх научных задач

🧠 Модели OpenAI нашли доказательства трёх научных задач

26 октября OpenAI сообщила о трёх результатах frontier-моделей: доказана гипотеза локального сглаживания, построено опровержение ETH, заявлены доказательства существования КХД и теории Янга–Миллса. Рукописи без NDA как «сырой материал»; ключевые формализованы в Lean.

🌍 Опровержение ETH, если подтвердят Импальяццо, Патури и Уильямс, лишает фундамента сотни условных результатов по графам, биологии и базам данных. OpenAI выстраивает конвейер ИИ-науки: сырые рукописи, Lean, независимый разбор.

👤 Предписьмы и доказательства открыты в github.com/openai/math. «ИИ решил задачу тысячелетия» верить не стоит: существование Янга–Миллса лишь часть задачи Clay, физика не опубликована.

Источник 1: https://openai.com/index/building-scientific-understanding-with-academic-communities/ Источник 2: https://www.unite.ai/openai-says-its-models-produced-three-proofs-in-math-cs-and-physics/