陶哲轩谈 AI 将推动实验数学发展并绘制数学难度地图

数学家陶哲轩在 UCLA「Math 2.0」演讲中表示，随着 AI 辅助数学研究发展，实验数学可能出现爆发，人们将逐步获得数学各领域难易程度的地图。材料还介绍了 Open Math Model 平台，支持基于开源前沿模型的 agent 并行探索、Lean 形式化证明和 LaTeX 论文协作，并内置 100+ 科学计算工具。