围绕 AI 大量介入数学证明，陶哲轩与王虹给出了接近一致的判断：数学界不能只停留在“证明已得出”，还需要理解、整理并消化成果。陶哲轩以 Sendov 猜想为例，说明 AI 更擅长生成与验证，后续的阐释、发表和知识沉淀仍依赖数学家。他还公开了面向 Lean 验证结果的登记库 Palomar，试图为 AI 证明建立从验证到发表之间的整理与协作机制。