2026年10月6日，OpenAI在GitHub上一次性甩出700多份手稿，声称解决了数百个未解数学问题。数学博客Proofs and Prompts随即汇集了一百多位研究者的回应，标题问得毫不客气：“我们到底失去了多少美？”震惊、厌恶、像被推土机碾过——这不是对某个证明挑错，而是对整个学科地基被铲平的直觉反应。
外行的误解是数学家怕被抢饭碗。真正让人不适的，是数学作为一门手艺的节奏被替换了。传统上，一个漂亮的定理要经过选问题、猜路径、反复碰壁，最后收敛成一段极短证明的过程，美就藏在这种克制里。而七百份手稿同时涌来，意味着发现问题的不再是有品味的人，而是一条产能曲线。更现实的麻烦在验证端：谁来读这七百份？数学界本就稀缺的审稿人力，不可能在几个月内消化这种体量。无法验证的“解决”，在学科内部几乎等于没解决。
但把它简单归类为“AI又吹牛”也不诚实。哪怕其中一成是对的，人类数学的知识边界也被一次性推进了好几年。问题于是变成：当发现的速度远超理解的速度，学科还属于谁？数学从来不只是答案的集合，它是几代人共享的、可以慢慢把玩的东西。推土机开进来之后，地还在，只是风景没了。
