不到十天，数学界经历了一轮过山车。
10 月 6 日，OpenAI 宣布其 AI 证明了准黎曼假设。那份证明长达 199 页，方式谈不上优雅，更像用算力硬推。数论学家对“排除某个零点区间”的结果给出很高评价，认为这是真正解决了问题，而不只是一点进展。
六天后，预印本平台出现一篇新论文，作者是数学家 Cureton 与 Thorner。他们没有停留在惊叹里，而是把 AI 打磨出的工具平移到一个更复杂的对象上：有限阶 Hecke L 函数。
结论相当惊人：在这类函数上，位于 1 减 1/6000 右侧的区域绝对没有零点。零点好比海面下的暗礁，过去这片海域大雾弥漫，船只寸步难行；两位数学家借 AI 提供的“雷达”，硬生生划出了一块安全区。
1/6000 太小，也太保守。安全区一建立，全球数学爱好者迅速把它变成一场开源竞赛：逻辑被精简，误差被压缩，边界不断外推。1/1000、1/500、1/100，常数一路下坠，最终停在 1/32，安全区比最初扩大了上百倍。
为了防止人类直觉出错，社区还请出 Lean 定理证明器做形式化校验。相关证明由数学智能体生成并公开在代码托管平台上，1/32 的边界不仅被推导出来，也通过了机器逻辑的检验。
真正的收官发生在 arXiv 上。Frei、Somos 与 Widmer 三位作者，把新的无零点区域代入旧方程，证明了 2007 年那项关于数域类群挠界的结果可以去掉前提，成为无条件成立的定理。这个结论此前必须建立在广义黎曼猜想之上，十九年来无人能拆掉这根拐杖。
最有意思的是论文末尾那句声明：本项工作没有使用任何人工智能工具。AI 推开了门，人类走了进去，然后自己把墙拆了。这或许是当下人机关系最生动的一次注脚。
这场接力最值得琢磨的地方，是分工方式。AI 擅长在巨大空间里做穷举式搜索，能在短时间内给出一个可验证的结论；人类数学家则负责判断哪条路值得走，把工具搬到更合适的对象上。
从准黎曼假设到有限阶 L 函数，再到十九年前的条件性结果，三步之间并非自动衔接，每一步都需要有人决定往哪推。论文末尾那句“没有使用任何人工智能工具”，并非否定 AI，而是强调最终的证明仍由人完成。
文章与图片内容转载网络，如有侵权请联系平台删除
发表评论 取消回复