AI智能体Odin宣称证明悬置40年Komlós猜想 同行评审尚未跟上

会懂网AI资讯，9月14日，三位生物统计学者借助AI研究智能体Odin，于9月10日在arXiv预印本平台发表论文，宣称证明了组合数学差异理论中的核心难题，即已悬置40年的Komlós猜想，论文发布之后在学术界引发持续关注，这也是人工智能参与原创数学研究的最新一例。

论文给出的结果是一个常数界3倍根号2派，约等于7.52，也就是把每个坐标上的数值限制在一个固定的常数范围之内。若结论最终成立，将填补差异理论中长期空白的一环，并带动相关不等式与随机矩阵方向的后续研究，已有研究者开始跟进核对关键步骤。

不过截至目前，同行评审尚未完成，论文仍停留在预印本阶段。多位数学家提醒，预印本发布并不等于结论成立，尤其是人工智能生成的证明链条往往较长，人工逐行核对所需的工作量，远超一篇传统论文所需的规模，这也是评审周期被不断拉长的主要原因。

争议焦点集中在验证速度上。论文连日来在学术圈引发热议，但核验进度明显落后于宣称的证明速度，形成一个尴尬的时间差：结论已经开始扩散，可靠性却迟迟没有定论，中间地带只能由猜测与站队来填补，争论往往先于结论到达，而大多数读者并没有能力自行判断对错。

更大的分歧来自方法论层面。25位数学家在9月12日前后联名发表意见，反对以AI暴力穷举的方式解决数学猜想，认为这种做法即便碰巧得到正确结论，也难以提供可被人类理解、可以继续向前推进的数学洞见，并不符合数学研究长期形成的传统取向与评价标准。

从科研协作的视角看，这类事件正在重塑整个学术生产的节奏。当AI把提出证明的时间压缩到以天计算，同行评审、学术期刊与预印本平台的流程设计就需要同步提速，否则公信力会成为整条链条上最薄弱的一环，这一点在预印本快速传播的时代显得尤为突出，也需要平台方拿出更明确的态度。