AI又攻克了一个40年数学猜想
2026.09.12 · 事件 · AI事件 · 论文预印本
AI系统Odin证明Komlós猜想，常数界3√(2π)被给出。
9月10日，arXiv预印本称AI系统Odin证明了Komlós猜想，给出常数界3√(2π)。该猜想由János Komlós提出，40年来未解。此前最佳界为Õ((log n)^{1/4})，此次直接给出常数。论文由三位生物统计学者署名，但AI角色仅两句话交代。
- Komlós猜想被AI证明，常数3√(2π)
- 论文由Odin系统发现，作者为三位统计学者
- 此前最佳界为Õ((log n)^{1/4})
- 证明方法用方向全变差替代高斯测度
- 未给出多项式时间算法，常数不声称最优
为什么值得看
AI证明重大数学猜想，引发学界对验证速度的担忧。
适合谁关注
数学研究者、AI从业者、关注科学进展的读者。