陶哲轩：AI让证明廉价，数学家转向想象力

2026年10月12日，AGI Hunt 报道，数学家陶哲轩提出，AI 让证明变得廉价，数学家的角色需要转变，真正的瓶颈不再是证明，而是想象力。他认为数学家应转向五个方向：一是建设 Mathlib 这类数学形式化库；二是用 AI 探索新方法，而不只是寻找证明；三是把定理拆解精简，检验是否仍然成立，并探索相邻领域；四是撰写把各结果串联起来的教材；五是研究 AI 在何处失败。这是目前关于该观点的最新报道。

AI 根据报道生成 · 1 小时前更新

还没有足够的连续观测数据，暂不绘制趋势。