公众号 · APPSO·· 4 小时前精选AI 评分88
OpenAI 称 AI 推翻指数时间假设并证明挂谷猜想所有维度成立
王的猜想，被 AI 一夜通关
AI 导读
OpenAI 宣布其模型一次性取得三项突破：推翻计算机科学界沿用近 30 年的指数时间假设（ETH），证明所有维度的局部平滑化猜想，并为量子色动力学和杨-米尔斯理论构造严格的数学存在性证明。
选题角度
OpenAI 称模型几天内连出三项数学与理论物理证明并完成 Lean 形式化，适合梳理时间线和公开仓库，讲清人类验证这一环。
来源：公众号 · APPSO · mp.weixin.qq.com