Anthropic 的 ClaudeAI 通过将黎曼猜想零点的下界从 41.6% 提高到 67.25%，在数学研究方面取得了进展。这一重大进展已使用 Lean 证明助手形式化，但本身并不构成对该猜想的证明或证否。相关发现已在 Anthropic 发表的一篇论文中详细介绍。 AI
影响 这项研究展示了 AI 为复杂数学证明做出贡献的能力，有可能加速理论领域的发现。
排序理由 该集群描述了一篇详细介绍数学发现的研究论文。[lever_c_demoted from research: ic=1 ai=1.0]
在 Mastodon — mastodon.social 阅读 →
AI 生成摘要 · Google Gemini · 来自 1 个来源。 我们如何撰写摘要 →
