ИССЛЕДОВАНИЕ · RESEARCH · #2611
OpenAI публикует три AI‑сгенерированных доказательства значительных результатов в математике, информатике и физике и назначает экспертных «кураторов»
OpenAI опубликовала AI‑сгенерированные материалы (включая формализации в Lean в некоторых случаях), утверждающие три крупных результата: доказательство локального сглаживания Согге (что затрагивает задачи Какея и ограничений Штейна), детерминированный субэкспоненциальный алгоритм, который, по заявлению OpenAI, опровергает Гипотезу экспоненциального времени (случай 3‑SAT), и строгий существующий результат для некоторых взаимодействующих калибровочных квантовых полей в четырёх измерениях, включая QCD. OpenAI сообщает, что независимые экспертные группы будут «курировать» проверку для результатов по информатике и физике (математика выпущена напрямую); материалы и Lean‑доказательства размещены на GitHub по просьбе групп, при этом физическая часть пока не опубликована полностью и все утверждения требуют внешней верификации.
КЛЮЧЕВЫЕ ТЕЗИСЫ
- OpenAI опубликовала AI‑сгенерированные материалы (включая формализации в Lean в некоторых случаях), утверждающие три крупных результата: доказательство локального сглаживания Согге (что затрагивает задачи Какея и ограничений Штейна), детерминированный субэкспоненциальный алгоритм, который, по заявлению OpenAI, опровергает Гипотезу экспоненциального времени (случай 3‑SAT), и строгий существующий результат для некоторых взаимодействующих калибровочных квантовых полей в четырёх измерениях, включая QCD.
- OpenAI сообщает, что независимые экспертные группы будут «курировать» проверку для результатов по информатике и физике (математика выпущена напрямую); материалы и Lean‑доказательства размещены на GitHub по просьбе групп, при этом физическая часть пока не опубликована полностью и все утверждения требуют внешней верификации.
- В случае верификации эти AI‑сгенерированные доказательства могли бы изменить фундаментальные представления в математике, теоретической информатике (опровергнув ETH) и квантовой теории поля, однако для принятия результатов необходима проверка людьми‑экспертами.
ПОЧЕМУ ЭТО ВАЖНО
В случае верификации эти AI‑сгенерированные доказательства могли бы изменить фундаментальные представления в математике, теоретической информатике (опровергнув ETH) и квантовой теории поля, однако для принятия результатов необходима проверка людьми‑экспертами.