相关动态
这篇个人记述称，昨日 OpenAI 发布了 372 项重大结果，其中包括在 Timothy Gowers、Edward Witten 等数学家推荐下给出的 Subhash Khot 的 Unique Games Conjecture（UGC）证明；若成立，许多优化问题即便只求略优于半正定规划松弛的近似也属 NP-hard。作者强调目前只是“相当确信”它是证明：部分结果有 Lean 证书，并非全部；似乎还没有人类理解这些证明，验证竞赛才刚开始。Dana Moshkovitz 形容论文极难读、需 AI 辅助，UGC 证明发明了带噪声测试的怪异递归码，既非长码也非短码；另有绕过 UGC 的 Max Cut 与所有 CSP 的最优 NP 硬度近似证明。
OpenAI一夜甩出722篇数学论文！黎曼霍奇BSD全上阵，数学家：读不过来 三位菲尔兹奖得主：不代表认可 听雨 发自 凹非寺 量子位 | 公众号 QbitAI 刚刚，OpenAI往数学界扔了颗重磅炸弹—— 一口气公开722篇数学手稿，全部出自一个还没发布的内部模型。 这些手稿归成372组结果。据OpenAI介绍，模型此前一共尝试了约4000个研究问题，平均每项结果消耗的算力，约相当于ChatGPT Pro思考3小时。 论文、源码、部分Lean证明，被一股脑传上了GitHub。 翻开目录，准黎曼猜想、霍奇猜想、BSD猜想、π的无理性指数……一个比一个名头大。 光是千禧难题，就沾上了三道。 再往下翻，还有自旋玻璃、量子磁性、自由群因子、相对论性弗拉索夫—麦克斯韦方程……数论、代数几何、理论计算机、统计力学，17个方向铺得满满当当。 一夜之间，数学论文堆成了山。 数学家们看了直呼：这谁读得完啊…… 722篇手稿里，究竟写了什么？ 点
Tapio Schneider撰文讨论AI在数学、科学与工程中的角色。OpenAI于9月8日宣布的强迫Navier–Stokes方程有限时间爆破解，由约10,000个AI智能体并行探索生成，随后在Lean中形式化并验证；形式化验证支持其正确性，但数学界仍在消化。陶哲轩等人认为，证明的意义不止于判定命题真假，还在于推进对形状、数字与自然现象基本结构的概念性理解；Yehuda Rav说“定理是标题，证明是内情”。Timothy Gowers指出AI生成的证明行文欠佳很可能只是暂时困扰。作者主张，自然科学与工程同理：episteme（解释性理解）本身即目标，techne（预测与制作的技艺）在预测可被检验时可独立成立——黑箱AI天气模型因预报每天可核对而可信——并可反过来作为服务于理解的工具，例如AlphaFold预测3D蛋白质结构（原文此处截断）。
前OpenAI后训练VP回应陶哲轩：说AI毁了数学，可能还是太小瞧AI了 未来的AI不仅能解决问题，还能提出有价值的洞见、建立新的概念框架，让数学家在此基础上继续探索。 henry 发自 凹非寺 量子位 | 公众号 QbitAI 说AI毁了数学，可能还是太小瞧AI了。 刚刚，OpenAI前后训练VPLiam Fedus，回应了陶哲轩等数学家关于“AI不应只追求解题，更应推动数学理解”的观点。 他赞同陶哲轩对概念理解的重视，但也认为不能用今天AI的能力边界，框定未来的可能性。 在Liam看来，未来的AI不仅能解决问题，还能提出有价值的洞见、建立新的概念框架，让数学家在此基础上继续探索。 换句话说，如果AI的训练目标不只是“把题做对”，而是进一步扩展到解释为什么、提炼方法、帮助人类理解，那么它最终可能成为一个既能给答案，也能创造新思路的数学研究伙伴。 这份乐观，与陶哲轩等25位菲尔兹奖得主最初联署的声明，既有共识，也有分歧。 双方都
AI数学的最后一道高墙，塌了！GPT-6 Astra刷穿FrontierMath Tier 4 FrontierMath Tier 4，饱和了 henry 发自 凹非寺 量子位 | 公众号 QbitAI 刚刚，最后一道FrontierMath Tier 4难题，被GPT-6 Astra攻破了。 至此，这套曾经被视作大模型数学噩梦的研究级测试，所有题目都已经至少被AI成功解出过一次。 Epoch AI也正式给它下了结论，FrontierMath Tier 4，饱和了。 虽然从上面的图里看，Astra还没有直接干到100%，OpenAI自己公布的成绩也是97.6%。 但按照Epoch的算法，“全部解出”指的是把不同模型、不同时间的尝试累积起来以后，Tier 4里的每一道题都已经有过成功解答。 而Astra干掉的，正是此前唯一还没有被AI攻破的那一道。 （简单理解就是Astra可能在某次测试中出错了，但它对的那道题是此前没被解出来的）
Gowers 并未把现象简单归结为模型偏爱存在性命题。他更关心求解过程：模型可以跨领域调用知识，并行尝试大量人类不会投入的低概率路径；短板则可能是数学家的“鼻子”——能否尽早判断哪条路值得走、迅速剪掉无望分支。他给出的更高验收标准是：AI 不只做出答案，还提出真正新颖、出人意料、事后看来又自然，并能被其他数学家继续复用的方法。
作者参加了一场关于数学与AI的研讨会，会上产出了《莱顿宣言》，已有3000多人签署。作者虽未签署，但并非反对，而是对宣言中一些自信的断言和建议感到不确定。他强调宣言在聚焦数学界面临AI问题上的积极作用，并引用了宣言中关于数学研究特征性价值的段落，包括证明的最高确定性、归因性、透明性和独立验证性等。
OpenAI 宣布其内部 AI 模型推翻了困扰数学家 80 年的 Erdős 单位距离猜想。菲尔兹奖得主 Tim Gowers 称单位距离问题的解是
作者（蒂莫西·高尔斯）称，由于使用 ChatGPT 5.5 Pro，他大幅上调了对大语言模型数学能力的评估。该模型在大约一小时内产出了一篇博士水平的研究成果，且作者未提供严重数学输入。他提到，LLM 已能解决研究级问题，包括一些 Erdős 问题，但初期许多“解法”不过是检索文献中已有答案。然而，笑声渐弱：LLM 已能发现人类数学家因种种原因遗漏的简单论证，尽管这些论证往往有先例。作者计划探索组合学中新参数引发的未解问题，测试 LLM 是否仍能解决。