AI数学

8月1日，OpenAI放了个大招。

它家还没正式发布的模型Astra，一口气解开了10道数学难题。

不是练习题，不是考试卷。是那种让人类数学家挠头了几十年的题。

其中一道，从1999年悬而未决到现在，27年没人碰得动。

Astra不仅解出来了，还给出了机器可验证的证明。249页论文，每一步都能查。

成本多少？2000美元。

你没看错，两千美元，按现在的汇率，一万四人民币出头。

人类数学家在这道题上耗了几十年，AI用2000美元的电费搞定了。

这事最吓人的地方在哪？

不是AI会做题。AI早就会做题了。

是它第一次做出了人类没做出来的东西。

以前我们说AI，都是”它学得快””它模仿得像”。这次不一样，这次是原创发现。

数学是逻辑的皇冠。AI能在这上面做出人类做不到的突破，说明它已经不只是”复读机”了。

当然，别急着喊AGI来了。

Astra能解数学题，不代表它有意识、有情感。它更像一个超级计算器，只是这个计算器突然会”想”了。

但方向已经变了。

以前是AI帮人类打下手，现在是AI开始自己往前走了。

对普通人来说，这意味着什么？

意味着以后很多”烧脑”的活，可能真的不用人干了。药物研发、材料设计、气候模拟，这些靠数学吃饭的领域，都要重新算账。

也意味着，人类和AI的分工，要重新划了。

人类负责提问题，AI负责找答案？

还是说，连问题，AI都能自己提了？

这道题，留给我们的时间，可能不多了。