一个未公开的 Claude 研究模型在解决黎曼猜想方面取得了重大突破,将其在临界线上的非平凡零点比例的下界从 41.6% 推高至 67.2%。这项进展是在大约 60 个 AI 代理和 3100 万个 token 的协助下完成的,与之前人类在这一长期存在的数学挑战上的进展相比,有了显著的飞跃。虽然这并非黎曼猜想的完整证明,但该模型独立探索了研究途径,综合了现有知识,甚至生成了其研究成果的 Lean 版本,展示了 AI 在开放式问题解决方面的先进能力。 AI
影响 展示了 AI 在开放式科学发现方面日益增长的能力,有可能在标准基准之外加速复杂领域的进展。
排序理由 该项目详细介绍了 AI 模型在复杂数学问题上取得的研究里程碑,包括方法论的细节和潜在的未来影响。[lever_c_demoted from research: ic=1 ai=1.0]
- Anthropic
- Brian Conrey
- Claude
- Claude Code
- Eric Easley
- Fable 5.1
- GPT-6
- Jarred
- Levent Alpöge
- Riemann Hypothesis
AI 生成摘要 · Google Gemini · 来自 2 个来源。 我们如何撰写摘要 →