AI 导读
OpenAI 宣布在调和分析、复杂性理论和量子场论三个领域取得新发现，关键证明已通过 Lean 形式化验证。作者称这些是可能影响计算极限和粒子物理数学基础的原创成果，独立专家正在核查该工作。
推荐理由
转发 OpenAI 三项学科新发现的公告，并补充关键证明经 Lean 形式化验证、独立专家正在核查这一背景。
正文
Major breakthrough: OpenAI says its AI has cracked decades-old problems across mathematics, computer science, and physics, with key proofs formally verified in Lean.
These are original discoveries that could reshape entire fields, from the limits of computation to the mathematical foundations of particle physics. Independent experts are now examining the work; if it holds up, this is a major milestone for AI making new science.
We are announcing three new discoveries in mathematics, computer science, and physics about harmonic analysis, complexity theory, and quantum field theory. https://openai.com/index/building-scientific-understanding-with-academic-communities/在 X 查看被引用的帖子
来源：Chubby♨️ · x.com