OpenAI 公布三项 AI 模型科研成果：涉及挂谷猜想、指数时间假设与量子色动力学，邀外部专家牵头验证
OpenAI 称其模型证明了所有维度的局部光滑猜想（进而推出挂谷与斯坦因限制猜想），并给出推翻指数时间假设（ETH）的证明，两项均附 Lean 形式化证明并已公开在 GitHub；物理成果为含 QCD 的四维规范场论存在性证明，由 David Gross 等专家审查。以上为厂商说法，仍待学界独立确认。
为什么重要
若 ETH 被推翻得到确认，大量以其为前提的复杂度结论需要重审；OpenAI 同时尝试由外部专家主导验证和公开材料，可能影响 AI 生成科研成果的发布规范。
来源3
由 dalao.ai 撰写：标题、摘要和“为什么重要”是我们自己的文字；事实以原始报道为准，著作权归原发布者所有。