OpenAI 宣布其模型在数学、计算机科学、物理学三个方向各拿到一项成果，性质不是「回答问题」，而是独立给出发现与证明。
数学上，模型证明了适用于所有维度的局部光滑猜想，由此顺带解决挂谷猜想与斯坦因限制猜想，关键在于构造出一个新的辅助偏微分方程。计算机科学上，它给出指数时间假设（ETH）不成立的证明——过去数百篇论文都以该假设为前提。物理学上，则给出四维空间中含规范场与费米子的相互作用量子场论的存在性证明，覆盖量子色动力学与标准模型的一种统一完备化，触及杨–米尔斯这一千禧年难题。
亮点：
- 不止结论，还给证明：数学与计算复杂度两项成果已用 Lean 形式化验证，自然语言证明与 Lean 证明均已公开。
- 全维度而非个例：局部光滑猜想一次推到所有维度，此前二维、三维的既有工作成为特例。
- 可能改写算法版图：ETH 若确实不成立，图论、计算生物学、数据库、计算几何等领域的难度下界都要重新评估。
- 外部专家深度参与：ETH 成果由因帕利亚佐、帕图里、威廉姆斯牵头核查，OpenAI 承诺公开全部原始数据并出资举办学术会议讨论其影响。
- 物理部分仍在审查：相关证明正由诺贝尔物理学奖得主等专家评审，尚无定论。
需要说清楚的是，这些结论仍需学术界独立确认；即便 ETH 被推翻，把理论上的加速变成能跑的算法，也还要大量后续工作。
获取方式：数学与计算机科学成果的自然语言证明、Lean 形式化文件已放在公开代码仓库，可直接取用复核；物理成果将随评审推进公布。
面向所有平台的研究者，只要能访问公开仓库与 Lean 工具链即可自行验证。
⚠️ 版权与免责声明：部分资源收集于互联网，不保证完全可用。
下载前请先阅读本站《免责声明》；
若遇到链接失效，可通过评论或留言联系管理员补档。
资源仅供个人学习参考，请于下载后 24 小时内删除；
如涉及版权问题，请速联系本站处理。
评论 (0)