据报道,Anthropic 的一个未发布模型在黎曼猜想上取得了重大进展,黎曼猜想是关于素数的一个长期未解决的数学难题。该模型由一位数学专业知识有限的员工提示,协调了 60 个子代理进行了 3100 万次计算,探索了 650 个不同的想法。这一进展得到了 Anthropic 数学家的证实,并使用 Lean 证明助手进行了形式化,紧随其他近期 AI 驱动的数学突破之后,并在数学界引发了关于 AI 在发现和署名方面的作用的争论。 AI
影响 展示了 AI 在复杂问题解决方面的先进能力,可能加速科学发现并引发关于研究署名的问题。
排序理由 AI 模型在解决一个重大的未解数学问题上取得进展,有研究论文和专家评论支持。
在 Mastodon — mastodon.social 阅读 →
- Anthropic
- Claude 4
- computer science
- P versus NP problem
- Astra
- Jacobian conjecture
- Lean
- OpenAI
- Riemann hypothesis
- set of prime numbers
- Timothy Gowers
AI 生成摘要 · Google Gemini · 来自 3 个来源。 我们如何撰写摘要 →