内容摘要一个尚未发布的 Anthropic AI 模型在黎曼猜想这一困扰数学界150年之久的素数分布难题上取得了显著进展。在一位数学背景有限的 Anthropic 员工提示下，该模型在一天半的时间里协调了60个子智能体，测试了650种不同的潜在解决方法。其中两个子智能体成功开发了关键的数学思路，这些成果随后得到了公司内部数学家的证实，并使用开源证明助手 Lean 进行了形式化。这一突破凸显了大语言模型应对复杂数学挑战日益增强的能力，也再次引发了数学界关于署名、责任以及人工智能在研究中未来角色的广泛讨论。
(来源：TechCrunch)
Another OpenAI executive takes off
Made by Google 2026：所有 Pixel 的新闻与发布内容
一个未发布 Anthropic 模型在数学最大未解问题之一上取得进展
Apple could help you prove your iPhone photos aren’t deepfakes
More than 1 billion people are using the Gemini app every month.
使用不到20条AI提示词揭露“Zoomsday”黑客攻击
Who Are the Token Brokers?
为什么你的亚马逊订单确认邮件变得如此鸡肋
Spotify 表示不会推荐“AI 虚拟人物”的音乐
Spotify will label ‘AI Persona’ profiles and exclude their music from recommendations