一款未发布的Anthropic AI模型自主取得了在150年黎曼猜想的一个子问题上的重大进展。在36小时内，该名为Claude Code的AI模型协调了60个子代理，处理了3100万个token，将满足该猜想的零点的已证明下界从41.6%提高到了67.2%。这一进展曾让数学家们望而却步，它展示了AI在深度形式推理和自主研究管理方面的能力，包括综合现有工作和寻求形式验证。 AI
影响 展示了前沿AI模型进行深度形式推理和自主研究的能力，可能加速科学发现。
排序理由 AI模型在长期存在的数学问题上取得重大进展，展示了先进的推理能力。[lever_c_demoted from research: ic=1 ai=1.0]
- Anthropic
- arXiv
- Baluyot
- Bombieri
- Claude Code
- Goldston
- Jarred Sumner
- Lean
- Levent Alpöge
- Ralph Furmaniak
- Riemann hypothesis
- Riemann zeta function
- Suriajaya
- TechCrunch
- Turnage-Butterbaugh
AI 生成摘要 · Google Gemini · 来自 1 个来源。 我们如何撰写摘要 →
