Mythos (使用 Claude 代码) 也解决了最近由 GPT 5.5 处理的单位距离问题，并给出了一个“可爱且简单的证明”。

Reddit r/singularity 2026/05/26 17:49 新闻

mythos claude-code gpt-5.5 unit-distance-problem mathematical-proof ai-advancement

摘要

Mythos 使用 Claude 代码解决了最近由 GPT 5.5 处理的单位距离问题，并给出了一个可爱且简单的证明。

https://x.com/i/status/2059298565093196012

查看原文

相似文章

Reddit r/ArtificialInteligence

Anthropic的新AI模型Claude Mythos，使用Claude Code框架，据报道在OpenAI先前证伪之后，通过找到替代的简单证明，解决了Erdős的不同距离问题。这展示了LLMs进行独立科学突破的能力。

X AI KOLs Timeline

上周末，Mythos 在 Erdos 单位距离问题（问题 #90）上得到了测试，并成功解决了它。

X AI KOLs Following

宣布推出 Mythos 级别的模型 Claude Fable 5，其能力超越此前所有通用模型，已在代码到动作任务中经过测试。

Reddit r/singularity

Mythos 1 是一款新的 AI 模型，在 Anthropic 的编程助手 Claude Code 中被发现，暗示可能有新的版本发布。

Hacker News Top

包括ChatGPT和OpenAI的Sol在内的人工智能系统，已经驳斥并完全形式化了Erdős单位距离猜想，标志着人工智能辅助数学的一个里程碑。文章讨论了这一过程及其对数学证明验证未来的影响。