**陶哲轩成为数学中AI的布道者**

_Terry Tao Became an Evangelist for AI in Math_

> 陶哲轩预测未来数学家将在大规模协作中借助Lean等自动化证明检查器，以分块求解再重组的方式确保证明正确性，开启数学研究新范式。

**来源信息**
- **来源**：Hacker News：AI 热帖
- **分类**：行业
- **发布时间**：2026-06-08 23:30（北京时间）
- **原文**：[打开原文](https://www.quantamagazine.org/how-terry-tao-became-an-evangelist-for-ai-in-math-20260608)