陶哲轩预测AI将推动实验数学爆发

数学家陶哲轩在UCLA的“Math 2.0”演讲中表示，随着AI辅助数学研究发展，实验数学可能迎来爆发，人们也将逐步获得不同数学领域难易程度的地图。这是陶哲轩提出的趋势判断，并非已经发生的结果。 相关材料介绍了Open Math Model平台，支持多个智能体并行探索、Lean形式化证明、LaTeX论文协作，并内置100多项科学计算工具，为AI参与实验数学研究提供具体工具。

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

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