AI 宣称证明 Komlós 猜想,菲尔兹奖得主发声明警示
10 小时前

陶哲轩等25位菲尔兹奖得主联合发布《AI在数学中的严重失准》声明。声明中,他们并未否认AI在数学领域的强大作用,但担忧其快速批量产出的解法未经规范整理,难以剥离新方法、新思想与前作引用,从而破坏孕育新思想的土壤,断裂数学家间的人类传承链条。鉴于事态紧迫,他们未走充分征询流程便发布了声明。声明发布前一天,一篇标注由Odin Automatic AI Research Agent发现证明的预印本宣称解决了差异理论中悬置四十年的Komlós猜想,并给出了常数3√(2π),还得到了Beck–Fiala猜想方向上的推论。该论文作者为三位生物统计相关学者,他们此前也曾借助Odin宣称解决Talagrand卷积猜想并获同行认可。但Odin并无公开记录,论文仅说明AI负责发现证明,作者负责整理成文。目前,AI参与的数学成果宣称大量涌现,已远超同行评审速度,传统评审机制的前提被打破,数学界如何与AI算力共存成为新的待解问题。