Grok-3 疑似证明黎曼假设，已被暂停训练

Ariers

马斯克 xAI 实验室的研究员 Hieu Pham 在 X 上发文称其开发的人工智能模型 Grok-3 已经证明了「黎曼假设」。黎曼假设是由德国数学家波恩哈德·黎曼 1859 年提出，是千禧年七大假设之一。这一消息引起了广泛关注，因为如果证明被确认为正确，这将是一个极其重大的数学突破。作为预防措施，团队决定暂停对 Grok-3 的进一步训练，以检查其证明的正确性。并且，如果证明确实无误，他们计划不再继续训练该 AI，因为担心其过于高级的智能可能对人类构成潜在威胁。不过，从评论区的讨论来看，这似乎是一个玩笑。