AI资讯
OpenAI 发布 722 篇数学手稿，两篇挂谷猜想论文将王虹成果推进到四维
10 月 7 日，OpenAI 一次性公开 722 篇数学手稿，论文与部分 Lean 证明上传至 GitHub。其中编号 074 的两篇手稿针对王虹与 Joshua Zahl 刚解决的三维挂谷猜想方向：一篇 97 页，声称证明了三维挂谷…
标签
标签： 数学证明
共 3 篇资讯
AI资讯
陶哲轩发文提出「数学2.0」：AI让证明从稀缺走向泛滥，呼吁建立透明评估机制
菲尔兹奖得主陶哲轩发文提出「数学2.0」概念，认为建立在证明稀缺之上的数学1.0时代即将落幕。他指出，在有足够算力和前沿模型的前提下，人们已能在较短时间内获得许多此前被认为很难的开放问题的解答，但判断解答是否正确、贡献多大、如何与已有研…
AI资讯
AI 攻陷数学证明，数学家为何感到被取代
2026 年 9 月 8 日，OpenAI 宣布其模型解决了一个数学界最著名的问题，并立即引发关于署名权和标准的争议。此前整个夏天，AI 模型每周都在给出数十年悬而未决的数学猜想的证明。这一变化在数学界引发悲伤、愤怒与恐惧。得克萨斯大学…