AITOP
全部 AI 动态
AI 相关资讯全量信息流
全部博客资讯推文论文
全部模型产品行业论文技巧
标签：数学推理×
6月16日
20:46
6月12日
12:57
6月11日
15:28
15:23
15:07
5月27日
19:06
19:06IT之家（博客/媒体）
76°
Anthropic 工程师 Sholto Douglas 宣布，其 Claude Mythos 模型成功解出了 1946 年提出的“平面单位距离猜想”。该难题此前由 OpenAI 的 GPT-5.5 模型攻克。Douglas 表示，Claude Mythos 给出了一份“巧妙而简洁”的证明，并认为这显示了 AI 在数学发现领域的巨大潜力。测试中，团队搭建了多实例系统，让多个 Claude Code 实例独立探索证明路径，再汇总优化。数学家 Daniel Litt 评价称，Mythos 的结果“略逊于”OpenAI 的版本。
AI模型Claude MythosGPT-5.5数学推理平面单位距离猜想多实例系统
推荐理由：AI 连续攻克经典数学难题，证明大模型在数学推理上正在突破边界。对数学研究者和 AI 能力观察者来说，这是值得关注的里程碑——Claude 的解法虽稍逊，但思路独特，建议点开对比两家思路。
原文
02:50
5月25日
19:02
19:02Decoder@Matthias Bastian
83°
Google DeepMind 的 AlphaProof Nexus 系统自主解决了九个开放的 Erdős 问题，其中两个困扰数学家长达56年，每个问题的推理成本仅需数百美元。与 OpenAI 的自然语言方法不同，该系统使用 Lean 编译器自动验证每一步证明，确保结果严谨可靠。不过，整体成功率仅为2.5%，表明 AI 在数学推理领域仍有巨大提升空间。这一成果展示了 AI 在解决高难度数学问题上的潜力，可能加速数学研究进程。
AI模型AlphaProof Nexus数学推理Lean编译器Erdős问题DeepMind
推荐理由：数学研究者和 AI 推理方向开发者值得关注——AlphaProof Nexus 用极低成本攻克了人类多年未解的难题，虽然成功率低，但证明了形式化验证路径的可行性，建议点开了解其技术细节。
原文