标题：黎曼猜想，AI推理模型的梗 马斯克正利用其新组建的10万张H100卡集群训练大模型Grok-3，目标是在12月甚至更早推出。 当地时间周六晚，xAI技术员工Hieu Pham在X上宣布：“Grok-3刚刚证明了黎曼猜想。我们决定暂停训练以验证其证明，如果证明正确，训练将不再恢复，因为该AI被认...