据报道，Anthropic 的 Claude Mythos 解决了 Erdős 单位距离猜想，这是一个 OpenAI 之前曾证伪的问题。一位工程师表示，Mythos 在周末提供了一个简单的证明，表明 AI 在数学能力方面取得了重大进展。这一发展凸显了 AI 在解决复杂理论问题方面日益增长的潜力。 AI
影响 展示了 AI 解决复杂理论问题的能力日益增强，有可能加速数学和其他科学领域的发现。
排序理由 该集群报道了一个 AI 模型解决了复杂的数学问题，这属于研究里程碑。 [lever_c_demoted from research: ic=1 ai=1.0]
AI 生成摘要 · Google Gemini · 来自 1 个来源。 我们如何撰写摘要 →
