AI大海啸

10 月 7 日，OpenAI 一次性公开 722 篇数学手稿，论文与部分 Lean 证明上传至 GitHub。其中编号 074 的两篇手稿针对王虹与 Joshua Zahl 刚解决的三维挂谷猜想方向：一篇 97 页，声称证明了三维挂谷…

量子位2026-10-1421.0

菲尔兹奖得主陶哲轩发文提出「数学2.0」概念，认为建立在证明稀缺之上的数学1.0时代即将落幕。他指出，在有足够算力和前沿模型的前提下，人们已能在较短时间内获得许多此前被认为很难的开放问题的解答，但判断解答是否正确、贡献多大、如何与已有研…

量子位2026-10-1131.1

Platformer 报道称，AI 正在以超过人类理解速度解决数学问题，数学家陶哲轩对此作出回应。报道同时提及 OpenAI 在开发者大会前夕因安全顾虑取消了一款新模型，并推出更偏商业应用的 Agent 产品。此外，Meta 发布了新的…

Platformer2026-10-0942.3