❯ OpenAI 用未发布的 Astra 解出十道数学难题，Anthropic 研究员称 Fable 复现了其中五道

未发布先亮成绩据 OpenAI 官网公布，该公司在 8 月 1 日发布了 10 项数学与理论计算机科学成果，全部由内部版本的 Astra 完成——这是它下一代模型家族的名字，尚未发布。覆盖领域包括高维几何、群论、算子代数、电路复杂性、量子复杂性和格密码。OpenAI 称每个主问题的核心结论至少十年无人推进，并估算跑完全部十题的 token 成本按 Sol 接口价约合 2000 美元。

被追平一半尴尬的是 24 小时后的回声。据其在社交平台的说法，Anthropic 研究员 Levent Alpöge 称，已经公开可用的 Claude Fable 复现了其中五道，且是用通用提示词自主完成、全程不联网，并做了隔离处理防止 OpenAI 已公布的解法泄进上下文；五道里只有一道走了实质相同的论证路径。Alpöge 本人不是路人——7 月他刚用 Fable 找出 1939 年雅可比猜想的反例，那件事已经在数学圈引发过一轮争论。OpenAI 尚未就复现说法作出回应，这一主张目前也缺乏第三方独立验证。

护城河变薄这件事真正压到的是未发布模型的宣传估值。如果一个已经上架、任何人都能调用的模型能在一天内啃下一半，那”内部版本”这四个字的溢价就被削掉一大块。企业采购方接下来评估的会是同一道题的成本差，而不是谁先做出来——OpenAI 官方披露的那笔约 2000 美元的算力账单，比”十年无人解出”更能决定预算怎么批。数学界的态度则更冷静：证明的可信度要等同行评议，而不是等两家公司在社交平台上互报战果。

▪ SIGNAL领先窗口从”一代模型”缩到”一天”，先发优势就不再值得单独定价。