马斯克的Grok-3宣称证明了黎曼猜想，如果是真的，可能真的需要歇一歇了，进度有点快了… ，黎曼猜想又叫黎曼假设，是千禧年七大数学难题之一。其实黎曼他自己也是直觉上的认为，简单说就是：所有非平凡零点都在临界点之上，作用是预测质数分布的，现在没人能严谨求解和证明。前一阵有人说预训练撞墙了，但是Grok3应该也是基于传统预训练的[吃瓜]，要是解出来了黎曼假设，就说明真的如奥特曼所说：“There is no wall”.Lecun还出来一顿嘲讽transformer，可是他的所谓世界模型dino-wm，backbone也是基于vit的啊[二哈]，只不过换个训练方式就能叫world model吗？下一篇文章准备续写世界模型系列。 http://t.cn/A6c0rYHo