Claude Mythos

Reddit r/ArtificialInteligence 模型
ai-model anthropic claude-mythos erdos-problem math agentic-systems scientific-breakthrough

摘要

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

https://preview.redd.it/shxpci7g5m3h1.png?width=5650&format=png&auto=webp&s=71aea1c4ddf2d554c5e9732737f8516c8c01a668 安索比克（Anthropic）软件工程师Sholto Douglas刚刚在X上发帖称，他们的新AI模型Claude Mythos成功为Erdős的不同距离问题找到了一个极其简单的替代证明。如果你没留意新闻，这正是OpenAI模型几天前证伪的那个组合几何问题。Paul Erdős在1946年提出了这个问题，80年来一直未解，直到5月20日OpenAI的内部模型将其证伪。而Anthropic的工程师们使用了名为Claude Code的实验框架，自从解决Erdős问题#1196以来，他们一直在开发这个框架。他们基本上让孤立的Claude Mythos代理从不同角度独立工作，然后一个代理汇总所有结果，并使用Claude Opus 4.7整理出最终版本。数学家Daniel Litt指出，虽然这个新证明不如OpenAI那长达125页的文档严谨，但令人印象深刻的是，模型找到了两种完全不同的解决方案。作为背景，Google DeepMind最近也解决了其他9个Erdős问题，但他们不得不使用Lean这种特殊的正式证明语言。这一切充分展示了这些LLMs的发展有多快。它强有力地证明了，代理系统确实能够做出独立的科学突破，并找到人类都未曾想到的理论数学捷径。来源：[https://the-decoder.com/claude-mythos-reportedly-solves-openais-landmark-erdos-problem-with-a-cute-simple-proof/](https://the-decoder.com/claude-mythos-reportedly-solves-openais-landmark-erdos-problem-with-a-cute-simple-proof/)
查看原文

相似文章

Mythos 1 在 Claude Code 中被发现

Reddit r/singularity

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

Claude Mythos 开启网络安全的潘多拉魔盒

Reddit r/artificial

Anthropic 发布了 Claude Mythos，这是一款能力极强的 AI 模型，旨在自动发现操作系统、浏览器和软件库中的安全漏洞。出于双重用途风险的考虑，该模型最初仅通过 Project Glasswing 向部分企业和开源合作伙伴开放，此次发布引发了业界关于 AI 安全能力与企业营销策略的广泛争论。