OpenAI публикует три AI‑сгенерированных доказательства значительных результатов в математике, информатике и физике и назначает экспертных «кураторов»
OpenAI опубликовала AI‑сгенерированные материалы (включая формализации в Lean в некоторых случаях), утверждающие три крупных результата: доказательство локального сглаживания Согге (что затрагивает задачи Какея и ограничений Штейна), детерминированный субэкспоненциальный алгоритм, который, по заявлению OpenAI, опровергает Гипотезу экспоненциального времени (случай 3‑SAT), и строгий существующий результат для некоторых взаимодействующих калибровочных квантовых полей в четырёх измерениях, включая QCD. OpenAI сообщает, что независимые экспертные группы будут «курировать» проверку для результатов по информатике и физике (математика выпущена напрямую); материалы и Lean‑доказательства размещены на GitHub по просьбе групп, при этом физическая часть пока не опубликована полностью и все утверждения требуют внешней верификации.