AI最先攻下的是数学

AI最先攻下的是数学。

因为数学是唯一能被机器逐行检验的基础学科——不用做实验，对就是对，错就是错。所以过去几个月的进度是这样的：9月4日，Anthropic的内部模型只用11天，就在定理证明器Lean里写完了费马大定理的完整证明；9月8日，OpenAI宣布1万个Agent跑了88小时，攻破千禧年难题Navier-Stokes方程；9月21日，OpenAI又说内部模型已经解决了100多个长期悬而未决的数学问题。而xAI联合创始人Christian Szegedy原本预言的时间，是2029年。

我的观点是：数学之所以第一个“毕业”，是因为它能被机器逐行检验。2019年Szegedy就主张“自动形式化”——让AI把人类写的数学翻译成机器能逐行检验的证明，那时他给的时间就是2029年。现在这一切提前了三年，也说明一件事：谁能被机器验证，谁就先被工业化。

关注获得硬核观点。

#数学 #AI #xAI #人工智能