OpenAI 新模型 Astra 曝光：2000 美元算力成本，破解十道数学难题

OpenAI 又搞了个大新闻。当地时间 8 月 1 日，他们公布了数学和理论计算机科学领域的十项突破，背后功臣是下一代主力模型 Astra 的内部版本。最离谱的是，按官方给的算力费率折算，解决这十道难题的总成本只有大约 2000 美元。

这十道题，分量有多重

先看看解决了什么：高维球体堆积密度上限、二进制与球面码界限提升、非纯索菲群存在性证明、康涅斯刚性猜想的推翻、算术电路复杂性新下界、量子平行重复定理、最近向量问题的多项式因子近似难度证明、埃尔哈特体积猜想、多色拉姆齐数的超指数下界，还有极值数猜想。

这些名字普通人看着眼晕，但搞数学的人应该知道分量——像"康涅斯刚性猜想被推翻"，属于能改写教科书级别的结果。以前这种进展靠数学家团队几年甚至几十年的推演，现在一个模型用推理能力给趟出来了，光这个速度就够吓人。

相比十道难题本身，我更在意那个成本数字。2000 美元是什么概念？大概是一个初级研究员一个月的工资，或者一台普通工作站的价钱。用这个成本撬动十项顶尖数学突破，意味着"科研计算"的门槛正在被 AI 砸穿，以后数学研究员的日常，可能真就是"给模型出题"。

当然，也别急着高潮。这些成果是 Astra 内部版本跑出来的，模型还没公开发布，具体推理过程有没有人工参与、验证环节怎么做的，官方都没细说。数学界对 AI 证明的态度一向谨慎，最终能不能通过同行评审，还要再观察。

这两年 AI 的进展已经从"写写代码、画画图"，慢慢摸到了"做研究"的边界。OpenAI 这波操作，与其说是炫技，不如说是在给下一阶段铺路：当模型能在数学这种硬核领域产出真成果，谁还敢说 AI 只是"高级搜索引擎"？

接下来就看 Astra 正式发布时，能不能把这些能力带给普通用户了。到时候数学系的学生估计要第一个慌——开个玩笑，但说不定真会。