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