数学家称不夸张

最近，大家都被这条消息吓到了:传说Grok3已经成功证明出黎曼猜想?!虽然这是在玩梗，但还是让我们来仔细剖析下，目前的AI距离千禧年数学难题，究竟还有多远。黎曼猜想，竟被Grok3「证明」了?为此，xAI暂停了Grok3的训练来验证它的证明，如果结果是正确的，将会完全终止模型的训练。xAI工程师HieuPham在社交媒体的最新「爆料」，成为AI圈最火爆的话题。