Anthropic 一款未公开的 Claude 研究模型在黎曼猜想研究方面取得了重大进展,将临界线上已验证零点的下限从 41.6% 提高到了 67.2%。虽然这并非对这个百年猜想的完整证明,但这一成就代表了对一个长期存在的数学记录的实质性改进。据报道,该模型利用了大约 60 个代理的集群,并处理了 3100 万个 token 来探索潜在解决方案和验证结果,展示了一种解决复杂数学研究的新方法。 AI
影响 在数学基准测试上设定了新的 SOTA;促使竞争对手探索 AI 驱动的研究。
排序理由 前沿实验室模型发布,附带系统卡
- Anthropic
- Brian Conrey
- Claude
- Claude Code
- Eric Easley
- Fable 5.1
- GPT-6
- Jarred
- Levent Alpöge
- Riemann hypothesis
- Curtis Pyke
- Kingy AI
- ChatGPT
- OpenAI
AI 生成摘要 · Google Gemini · 来自 4 个来源。 我们如何撰写摘要 →