2000美元，AI把数学家几十年的活儿干完了

2026年8月1日，OpenAI扔了一颗深水炸弹。

不是新模型发布，不是价格战，而是一组论文——他们的未公开模型Astra，一口气解决了10个悬而未决的数学难题。

你没看错。不是10道练习题，是10个真正的、让人类数学家头疼了几十年的开放问题。群论、量子复杂度、格密码学、高维几何、极值组合……跨度之大，不像是一个人能搞定的。

但最扎眼的不是题目难度，是成本。

总共花了约2000美元算力。

2000美元。还不够一个博士生一个月的工资。

数学家的“铁王座”，被撚C动了

这十道题里最炸的是“非可均群”的显式构造——自1999年以来群论领域的核心难题。OpenAI交出的不是模糊猜想，而是一份249页的完整论文，外加能在Lean 4里逐行验证的机器证明。零漏洞。

搞组合数学的Thomas Bloom看完只说了一句话：“big news。”比今年5月那个轰动数学界的“单位距离反例”还大。

这不是AGI，但这是一道分水岭。AI不再只是替你写周报、画猫图的工具了。它能产出可验证的、原创的科学发现。

下一个轮到谁？

如果2000美元能解决10个数学难题，那药物研发呢？新材料呢？气候模型呢？

过去我们说AI辅助科研，其实是在说“AI帮人读论文、AI帮人写代码”。现在不一样了——AI是直接下场做题，而且做得比人好。

当然，真要说“取代科学家”还早。Astra只是解题，不是提问。它不知道什么问题是值得问的。但问题一旦被提出来，它比任何人都快。

这有点像计算器取代了珠算师傅。你不需要会打算盘了，但你还是得知道要算什么东西。

一个残酷的问题

如果一个博士五年的核心工作，AI花2000美元、几天时间就做完了，那这个博士还能毕业吗？

这已经不是科幻问题了。这是2026年8月真实发生的事。

科研的评判标准、学术的价值链条、甚至“聪明”的定义——都在被重新校准。204页的论文可以机器自证，那同行评议还怎么审？

说实话，我很期待接下来会发生什么。也很担心。