近日，关于AI模型Grok 3“证明”黎曼猜想的消息引发热议。xAI暂停了Grok 3的训练以验证其证明，若结果正确将终止训练。黎曼猜想是千禧年七大数学难题之一。然而，xAI工程师Hieu Pham随后澄清这只是他的调侃。此前有传言称Grok 3在训练中遭遇了灾难性事件，引发了广泛讨论。尽管如此，AI在数学领域的潜力仍受到关注。例如，AlphaProof在IMO竞赛中表现出色，证明了部分数学题。AI在数学上的进展有望在未来几年加速，但仍需克服计算资源和问题复杂性的挑战。马斯克承诺的Grok 3预计年底发布，可能会带来更多惊喜。