Anthropic的Claude研究模型在黎曼猜想上取得重大进展，将满足猜想的零点比例下界从41.6%提升至67.2%。该模型通过60个智能体、3100万输出Token，自主生成思路、交叉审稿并验证结果，人类仅提供鼓励。虽未完全证明猜想，但刷新了长期纪录，展示了AI在开放数学问题上的研究能力。

科技发展解决了许多历史难题，如费马大定理，但仍有未解之谜，如黎曼猜想。宇宙膨胀使我们无法观测遥远星光，令人感叹生命的短暂与遗憾。

马斯克的Grok-3 AI系统声称证明了黎曼猜想，尽管被视为玩笑，但引发了对AI能力和潜在威胁的讨论。黎曼猜想是数学千年难题，若被证明，将深刻影响数论和加密技术。Grok-3的训练集群Colossus也备受关注，反映了人们对AI发展的期待与焦虑。