AI 智能体 Odin 声称证明悬置 40 年的 Komlós 猜想
AI 智能体 Odin 发现 Komlós 猜想的证明，而 25 位菲尔兹奖得主刚警告 AI 数学产出过快、缺人验证。
一篇 18 页预印本声称证明了 Komlós 猜想——组合数学里关于向量平衡的著名未解问题：给任意一组长度不超过 1 的向量各配正负号，能否让每个坐标上的和都被一个与维数、向量个数都无关的常数卡住。论文署名三位生物统计学者，末尾注明证明由 AI 研究智能体 Odin 发现；同一批作者上月还用 Odin 宣称解决了 Talagrand 卷积猜想。
正文摘录
.jpg) 编辑｜Panda 今天凌晨，[陶哲轩等 25 位菲尔兹奖得主发出一份联合声明](https://mp.weixin.qq.com/s?biz=MzA3MzI4MjgzMw==&mid=2651056767&idx=1&sn=9d3e1909d987d69af186d0f1ca3846f3&scene=21wechatredirect)，标题是《AI 在数学中的严重失准》（A Severe Misalignment of AI in Mathematics）。署名名单从 1978 年的皮埃尔·德利涅（Pierre Deligne）一直排到今年刚刚获奖的邓煜，中间是舒尔茨（Peter Scholze）、维亚佐夫斯卡（Maryna Viazovska）、许埈珥（June Huh）、梅纳德（James Maynard）等诸多数学界大佬。  https://mathandai.org/ 声明并没有否认 AI 很强、作用很大，毕竟 AI 已经可以解决多个数学分支中的重大未决问题。问题是：太快了。 这些解法常常是在匆忙中被宣布的，来不及写成规范论文，来不及把新方法和新想法剥离出来，也来不及引用他人的相关前作。