标题：OpenAI科学家：现有模型+后训练足以产生黎曼猜想的新证明 奇月 发自 凹非寺 量子位 | 公众号 QbitAI OpenAI科学家塞巴斯蒂安・布贝克（Sebastien Bubeck）提出AI模型能力可用“AGI时间”衡量：GPT-4可在秒或分钟内完成人类任务，o1模型能在数小时内完成人类...

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

标题：马斯克新AI破解千年难题却被紧急喊停？这个“玩笑”如何引发AI圈一夜未眠 Grok-3 AI系统声称证明了黎曼猜想，但为了验证证明的正确性，该系统的训练被暂停。如果证明无误，系统将不再继续训练，因其可能对人类构成威胁。 这只是一个玩笑。然而，推文迅速发酵，吸引了超过200万网友关注，波及全球A...

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