打开网易新闻 查看精彩图片

1988年，一位数学家提出了一个关于随机性的难题。30多年来，无数研究者试图给出更优解，但进展缓慢——直到两个AI把这件事办了。

这位数学家叫拉兹伯勒（Razborov），今年88岁，被尊为"算法复杂性理论祖师爷"。他当年留下的难题，简单说就是：怎么用最少的随机数，让计算机算法既快又准？

这个问题像什么呢？就像你请朋友猜拳，原本要完全随机出拳才公平。但聪明的玩法是：只随机几次，剩下的用套路，对手照样猜不透。

拉兹伯勒证明了这种"省着用随机"是可行的，但代价是算法会变慢。过去30年，学界一直在问：能不能既省随机数，又不让算法变慢？

答案写在14页论文里。作者是Claude 4 Opus和OpenAI的o3，两个AI系统。它们联手搞出了一个新证明，直接优化了拉兹伯勒的经典结论。

更扎眼的是审稿记录：论文投出去，0修改，直接录用。

这事的微妙之处在于——88岁的祖师爷至今仍在学术一线，而AI已经能在他开创的领域里，独立完成他当年没走完的那一步。

有人翻出拉兹伯勒去年的采访。他说自己还在手写论文，"打字太慢了"。