年初「看多」清单成真?研究者盘点 AI 攻克的一串数学难题

NathanpmYoung · x · 2026-09-05

研究者 Elliot Glazer 翻出自己年初做的一份「bullish」预测清单，列出了 FLT（费马大定理）、弱哥德巴赫猜想、间隔 ≤246 的素数对无穷性、可计算实数上的 Baker 定理、ζ(3) 无理性、有限单群分类、图同构的拟多项式时间算法、除 4 维外的高维 PL 庞加莱猜想等重大数学结果，自嘲式地庆祝这份预测的应验，被 AI 圈解读为对 AI 数学推理进展的注脚。