陶哲轩公开演讲《Math 2.0》

2026年10月11日，陶哲轩在加州理工学院公开最新演讲《Math 2.0》。据机器之心报道，这场演讲早在一年多前就已开始筹划，最初标题为《机器辅助证明》（Machine Assisted Proof），原计划于今年5月举行，后推迟到10月。演讲中，陶哲轩提出AI正让数学从证明稀缺走向证明富足，认为盲目只优化AI解题已在损害数学的长期健康发展，主张Math 2.0应把AI加入人类理解与数学研究的各个环节，并给出开放阐释问题、Caltech Mathathon、IEANTN知识网络、Lean的Mathlib形式化库、定理消融研究等十条具体方向，认为最大瓶颈不是技术而是想象力。他特别补充称「一些开放数学模型很快就会发布——敬请期待」。报道还提到，Caltech Mathathon计划于2026年11月13日至15日举行。

AI 根据报道生成 · 59 分钟前更新

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