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

菲尔兹奖得主Jacob Tsimerman在颁奖当天官宣加入OpenAI搞AI安全，一边担心AI灭绝人类一边投身其中，戏剧性十足。更巧的是，他学生用Claude Fable 5一夜推翻87年数学猜想，师徒二人分别加入OpenAI和Anthropic。这场数学家与AI的“世纪联动”，预示着数学行业正在被AI深刻重塑。

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

菲尔兹奖得主Gowers实测GPT-5.5 Pro，17分钟破解博士级数学难题，全程零数学贡献，直接引发数学界焦虑。陶哲轩则冷静地指出，人类真正的不可替代价值在于“消化”证明，而不是与AI比拼解题速度。

本文深度专访了菲尔兹奖得主陶哲轩，探讨他在50岁之际创立SAIR Foundation的内在动机。文章展现了陶哲轩从孤独天才向行业架构师的转型，重点阐述了他通过AI实现“科学普惠化”的愿景，以及他对AI时代人类智慧价值的深刻思辨。

AI智能体Gauss两周内生成20万行代码，形式化验证了菲尔兹奖级别的球体堆积证明，并修正了原论文瑕疵。数学证明正从自然语言转向可运行的软件工程，人类数学家将转型为AI指挥家。

本文深度专访了Anthropic联合创始人Jared Kaplan，探讨了他从哈佛物理博士向AI先行者的转变。Kaplan预言AI将在2-3年内达到顶级理论物理学家的水平，这不仅基于其对Scaling Law的深刻洞察，更反映了AI在科学发现领域即将发生的范式革命。