刚刚，OpenAI又放了个大招。
它家还没正式发布的下一代模型Astra，一口气解开了10道数学界悬置多年的难题。
注意，不是“答对了题”，是“解开了”——每一道都有完整证明，还通过了机器验证。
人类数学家几十年啃不动的骨头，它花多少钱拿下的？
2000美元的电费。
先说其中两道题。
一道是“非sofic群”的首次显式构造。群论里悬了几十年的问题，一直没人给出具体例子。
一道是推翻“Connes刚性猜想”。这个猜想在算子代数里躺了半个世纪，无数人撞过墙。
Astra都办了。
最关键的还不是答案，是“交作业”的方式。
它没有只说“我算出来了”，而是把证明写进了Lean 4——一个能逐行核对每一步推理的数学证明助手。
证明文件直接挂在GitHub上，全球任何数学家都能下载、检查、挑毛病。
也就是说，AI这次不是“猜了个答案”，是交了一份人类老师能批改的作业。
这才是这件事真正值得琢磨的地方。
以前AI解数学，大多是“做卷子”：题目见过，答案背过，考的是记忆力。
这次是“出卷子”：问题人类没解决，答案是它自己推出来的。
从“模仿”到“创造”，这条边界，被Astra悄悄迈过去了。
当然，冷静的声音也有。
有人说，这10道题偏冷门，说明不了AI数学已经封神。
有人说，证明是“凑”出来的，不代表它真的“懂”数学。
这些质疑都有道理，一个都不用反驳。
但换个角度想：几千美元的算力成本，换来10项从没被解决过的成果——哪怕只有一次是运气，也足够让整个科研圈后背发凉。
数学家以后的日子，大概只有两种过法：
要么和AI抢题做，要么和AI一起做题。
从OpenAI的态度看，它显然选了后者——证明公开，欢迎检查。
这个“开门迎检”的姿态，可能比“我解出来了”本身更值钱。
AI到底有没有“读懂”数学，现在没人敢打包票。
但有一点是确定的：从今天起，数学界多了一个解题搭子，它不吃不喝，只耗电。
(本文信息来源：综合多家媒体报道)
留言 0
还没有留言，快来抢沙发