【百年黎曼猜想迎突破！Claude刷新纪录】刚刚，Anthropic官宣其未公开的Claude新模型在黎曼猜想上取得重大进展。该模型将满足猜想的ζ函数零点比例下界从41.6%推高至67.2%，打破了人类数学家接力数十年推进的长期纪录。令人惊叹的是，Claude调用60个子智能体协作，耗时一天半自主探索、试错、交叉审稿并完成验证，人类仅需提供情绪价值。虽未完全证明猜想，但这标志着AI已具备在无标准答案的开放前沿问题上自主研究并产出新成果的能力。网传该模型或为新一代Fable系列，AI推理能力正迎来飞跃！

标题：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被认...