OpenAI 派出一群比 GPT-6 Astra 更强大的智能体，把 Navier-Stokes 千禧年猜想证伪了。消息一出，连 Hugging Face 联创 Thomas Wolf 也承认“令人印象深刻”，但他紧接着点了一句：这种反例搜索式的突破，和人类数学家追求的优雅与品味，已经不是一回事了。
Wolf 的观察切中要害。今天的 AI 数学成果越来越多地长着一副“反例”的脸——不是给出漂亮证明，而是找到让猜想崩塌的边界情形。这当然有硬价值：反例能终结错误方向，逼迫理论重构。可一个值得追问的问题是，AI 在数学花园里究竟充当什么角色？如果它只会用蛮力和搜索把每块石头翻出来，却无法像黎曼或伽罗瓦那样看穿事物底层的秩序，那么这些成果就还停留在“解决问题”而非“创造美学”的层面。
换个角度看，这种不优雅恰恰是新的生产力。过去数学界默认“好结果应是一个证明”，OpenAI 的 agent 群组则给出了一个粗暴而无可辩驳的反证。Thomas Wolf 没有否定意义，他只是提醒：当 AI 不断击穿人类直觉时，我们或许该重新定义什么值得拍案叫绝——一个优雅的证明，还是一条让整个旧体系摇摇欲坠的裂缝？两者都是通向真理的路，但后者需要更多的警觉和勇气。
