湛若秋水
26-04-15 08:39 微博认证:人文艺术博主

看了个陶哲轩最近关于AI与科学革命的访谈。
他说,人类之前的科学进步很可能不是某个天才的灵光一现,更像AI大模型疯狂试错后的偶然命中。

比如:伟大的天文学家开普勒就是“高温版大语言模型”,他用了整整20年来排列组合各种数据,才幸运的“撞上”了正确的行星定律。

陶哲轩说:过去人类科学一直把“想法的产生”视为最高殿堂,而现在,AI把生成科学假设的成本降到几乎为零,且速度更快、产出更多。
在数学界,50个厄多斯猜想被AI“一秒刷题”式解决——这听上去似乎很振奋。
但,这也正是危机所在。

因为问题来了:这么多AI作出的推论谁来验证?现有的科学学术评审系统在ai面前,就像“用小木桶去接海啸”。

陶哲轩说:”我们进入了一个人们可以为某个科学问题瞬间生成数千种理论的时代,接下来真正的挑战是:验证、评估与筛选。
一个证明可能长达3000行,人类看不懂,但计算机说正确——那么这还能算人类的知识吗?
再比如,如果AI证明了黎曼猜想,过程却是人类看不懂的“天书”,你会承认这个真理吗?

#陶哲轩 #AI科学革命 #

发布于 广东