卡了人类26年的数学难题，AI花了2000美元就解开了。

8月1日，OpenAI官宣：它的下一代模型Astra，一口气解出了10个停滞十年以上的数学未解难题。其中一个群论问题，人类从2000年啃到现在，26年没动静。

2000美元什么概念？也就是一台中档笔记本电脑的价钱。人类数学家啃了26年的题，AI花这点钱就搞定了。

最扎心的不是"AI能解数学题"，而是——"天才"这个词，第一次有了标价。

以前我们提起数学天才，想到的是陶哲轩、菲尔兹奖得主，几十年才出一个的稀有大脑。他们解开一个难题，靠的是天赋加一辈子的积累。现在AI说：这事儿，2000美元就能干。

而且，为了证明自己解出来的这10道难题的答案不是瞎编的，Astra还把每一步证明都写成了电脑能逐行检查的代码，放在网上公开——全世界的数学家都能自己验算。

不过问题也来了：当原创科研变得这么便宜，人类数学家还剩下什么？

有人会说：AI永远替代不了人类提出问题的能力。

可如果有一天，连"什么问题值得研究"这个判断，AI也能算出来呢？
OpenAI Astra