AI 精选动态
智能评分 67
Claude Mythos 解决 Erdős #90
AI 推荐理由
可重点看它与 OpenAI #1196 已知解法不同的证明路径，以及在隔离环境下是否还能稳定复现。核心解读
一位数学家在周末测试 Claude Mythos 是否能解决长期未解的 Erdős problem #90，结果它成功给出了解答。该模型没有复现 OpenAI 的 #1196 已知解法，而是反复收敛到另一种被数学家形容为更简洁的论证，且没有解析复杂性；测试环境为 air-gapped、无互联网、无信息泄漏。原帖还提到，GPT-5.5 在今年早些时候解决了多个 Erdős 问题，DeepMind 的 Nexus 解决了 9 个，而这一结果被描述为“数十年未解的问题在数周内接连被攻破”。