OpenAI объявляет о трёх новых открытиях ИИ в математике, информатике и физике

OpenAI заявляет, что её модели получили три новых результата: доказательство гипотезы локального сглаживания во всех размерностях, которое также разрешило бы гипотезы Какейи и ограничения Штейна; проверенное в Lean доказательство ложности гипотезы экспоненциального времени; и математически строгое доказательство существования квантовой хромодинамики и единого завершения Стандартной модели, включая чистую теорию Янга-Миллса. Тексты по математике и информатике и формализации в Lean публичны, а артефакты по физике удерживаются внешней группой сотрудничества, которая напишет работу самостоятельно. Это важно, поскольку, если утверждения выдержат независимую проверку, это станет вехой для науки, движимой ИИ, но пока это лишь утверждения OpenAI, рассматриваемые внешними экспертами, а не независимо подтверждённые результаты.

• Sam Altman2026-10-26 21:36