AI开始写证明之后，数学家真正缺的是什么

当我读到"Mathematics of the Future"这个标题时，第一个念头是：数学会不会变成一门不再需要人类的手艺？这篇文章讨论的是AI辅助证明和符号计算如何重塑数学家的日常工作——不是取代人，而是重构直觉与严格性之间的关系。我看得很明白：数学的未来不在于人机谁取代谁，而在于一场重新分工。人类继续提出问题、提供直觉和审美判断，机器负责穷举搜索、形式化验证和规模扩展。真正的危机从来不是AI本身——数学家缺的是勇气，去承认"做数学"这件事的定义已经在悄悄变了。

原文：Mathematics of the Future · 来源：Hacker News