GPT-5.6 Pro和Sol版本这周疯狂输出：4个半小时证伪30年图论猜想，北大校友5天连破6道Erdős难题，64个Agent一小时搞定50年未解难题。数学界集体沉默：这届菲尔兹奖可能是人类最后的牌面？

菲尔兹奖得主Gowers实测ChatGPT 5.5 Pro，零输入下AI两小时产出博士级论文。他认为菲尔兹奖可能2030年左右终结，因为AI对数学研究的介入已经让奖项的评审标准动摇。即将领奖的得主Tsimerman也在经典难题上被AI击败，数学界开始正视AI时代的到来。

陶哲轩的First Proof第二轮评测结果出炉：10道研究级数学难题中，AI解出7道达到发表标准的答案，最低成本仅8美元/题。其中一套AI系统还给出了人类从未想到的原创解法。不过陶哲轩认为整体表现未达预期，第三轮已安排上。

上周AI界上演“神仙打架”：OpenAI、DeepMind、Anthropic三家在一周内各自用AI推翻了困扰数学家80年的Erdős单位距离猜想。其中Anthropic的Claude Mythos在断网隔离下，找到了一条比OpenAI更短更优雅的证明路径，还在第一个可行解前紧张得停手——让数学家们直呼“我懂你”。三年前GPT-4还做不了本科数学题，如今这些顶级难题正在变成AI的入学考试。