OpenAI 宣称模型攻克三项数学与理论物理难题

OpenAI 宣布其模型取得三项突破，包括推翻指数时间假设 ETH、证明所有维度的局部平滑化猜想，以及为量子色动力学和杨-米尔斯理论构造严格的存在性证明。模型还生成了自然语言证明并完成 Lean 形式化，数学和计算机科学材料已上传公开 GitHub 仓库，物理成果则交由五位理论物理学家进一步整理审查。