菲尔兹奖得主陶哲轩10月9日在加州理工学院发表演讲，把原题《机器辅助证明》改写为《数学2.0》，认为前沿AI已把数学从「证明稀缺」的旧时代推入「证明过剩」的新纪元。报道援引的说法包括：OpenAI协调约1万个AI智能体、耗时88小时给出Navier-Stokes方程有限时间奇点证明并完成Lean形式化验证，随后又在GitHub发布700多篇AI独立生成的数学手稿（涵盖372个结果）；Anthropic称Claude把黎曼zeta函数非平凡零点下界从41.6%提升到67.2%；Google DeepMind的AlphaProof已达国际奥数金牌水平。陶哲轩用「AI开出一副无人能看懂机制的完美抗癌药，你敢吃吗」的思想实验警告：正确但人类无法理解的结果是危险的错误对齐，并提出数学2.0应以人机协作反哺人类理解，例如解决「开放性解释问题」、把论文整合为持续演化的知识网络、建设大规模形式化数学知识库。