Anthropic的Claude AI的一个未发布版本在黎曼猜想相关问题上取得了重大进展。虽然它没有解决这个著名的猜想,但Claude将黎曼ζ函数零点满足该猜想的比例的长期下限从41.6%提高到了67.2%。这一进展得到了数学家们的验证,展示了AI模型日益增长的数学能力,尽管Anthropic并不期望这些特定技术能够证明黎曼猜想本身。 AI
影响 展示了AI在复杂数学推理和研究辅助方面的能力日益增强。
排序理由 AI模型在复杂数学问题上取得进展,并在研究论文中详细说明。
在 Mastodon — fosstodon.org 阅读 →
AI 生成摘要 · Google Gemini · 来自 5 个来源。 我们如何撰写摘要 →