ทันเอไอ

Terence Tao 阐述 AI 时代数学观点：指出人类应专注于理解而非单纯生成证明

荣获 Fields Medal 的数学家 Terence Tao 发表文章，分析了 AI 发挥重要作用时数学领域的发展方向。

学术界和 Hacker News 网站目前正热议 Fields Medal 得主、数学家 Terence Tao 题为“Mathematics in the age of AI”（arXiv:2608.16753）的文章，该文改编自他在国际数学家大会（ICM 2026）上的公开演讲。

在文中，Tao 将讨论框架从“AI 能力是否能媲美人类”的争论，引导至关于数学研究真实目标与价值的深入思考——当人工智能工具开始具备解决研究级难题的能力时。

其核心建议是：数学界应将重心从“Proof Generation（证明生成，AI 可以快速完成）”转向“Proof Digestion（证明消化，即人类的理解、解释清晰度与审查）”。同时他提出一项准则：即便证明已通过形式化验证（Formal Verification），若作者无法向专家级人类解释清楚该证明，则不应接受或发表该研究成果。