OpenAI заявляет о прорывах в доказательствах по математике, вычислениям и квантовой физике

OpenAI утверждает, что её модели создали доказательства, решающие давние проблемы гармонического анализа, опровергли Гипотезу об экспоненциальном времени и доказали существование в квантовой теории поля. Математические и вычислительные результаты уже опубликованы и формализованы в Lean, в то время как материалы по физике пока не опубликованы.