据xAI工程师爆料，Grok-3 刚刚证明了黎曼假设。公司决定暂停它的训练以检查其证明，如果证明正确，则不会恢复训练，因为该人工智能被认为过于聪明，以至于对人类构成了威胁。