OpenAI 的 Astra 一口气解决了十个数学难题，连悬了 50 年的 Connes 刚性猜想都被推翻。顶尖数学家们聚到 OpenAI 办公室，开始认真讨论"数学的终结"。

有人慌：人类最骄傲的智力高地，正被机器一个个占领。

我倒觉得，被终结的不是数学，是"人类独占智慧王座"的旧剧本。当 AI 能证明猜想，人最值钱的反而是——问得出值得算的问题。

工具负责回答，人负责追问。只要还愿意问"为什么"，人就永远有位置。