菲尔兹奖得主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在科学发现领域即将发生的范式革命。