2000美元，十道数学难题——OpenAI Astra让数学界慌了

2000美元能干什么？

在OpenAI手里，它能解开十道困扰数学界几十年的难题。

8月1日，OpenAI公布了下一代模型Astra的成绩单。十项数学突破，横跨高维几何、编码理论、群论、量子复杂性、格密码学——每个领域单拎出来都够一个博士生啃几年。Astra一把全做了，token成本合计约2000美元。

听起来像科幻，但OpenAI说所有证明都经过了形式化验证系统（Lean）逐行检查。人类研究员只是把模型生成的论证整理成了论文。

这不是”AI辅助科研”，这是AI在独立产出有研究价值的数学论证。

数学家们坐不住了。

今年6月，数百名数学家签署了《莱顿宣言》，核心担忧就一条：AI生成的证明，到底能不能信？更进一步——如果一篇论文的核心论证来自AI，作者栏该填谁？

这其实不是技术问题，是身份危机。

数学界一直把”证明”视为人类理性的最高殿堂。哥德尔不完备定理、费马大定理、庞加莱猜想——这些是人类智力的纪念碑。现在一个模型花2000美元就能在上面再刻一排新的，换谁都得慌。

但换个角度想，这也可能是数学的黄金时代。

Astra做的事情，本质上是把数学从”手工作坊”推进到”工业化生产”。以前一个天才加十年孤独才能推进一步，现在AI可以在几小时内扫过人类需要几十年才能覆盖的推理空间。工具变了，产出会暴增。

真正该焦虑的，不是AI能不能证明定理。而是当AI证明了定理之后，我们还有没有能力判断它对了还是错了。

毕竟，看不懂的证明，跟魔术有什么区别？