中国数智化转型网 人工智能资讯 每日人工智能资讯|Anthropic 推出 Claude Mythos,凭借简明证明攻克 Erdős 数学猜想

每日人工智能资讯|Anthropic 推出 Claude Mythos,凭借简明证明攻克 Erdős 数学猜想

5月26日,Anthropic 工程师 Sholto Douglas 在 X 平台宣布,其最新模型 Claude Mythos 成功通过一个“巧妙而简洁的证明”解决了组合几何领域的百年历史难题——Erdős 单位距离猜想。这一突破紧随 OpenAI 日前利用 GPT-5.5攻克该里程碑式数学难题之后,标志着头部 AI 厂商在纯数学发现领域的竞争已进入白热化阶段。数智化转型网www.szhzxw.cn

此次突破展现了不同于传统单一模型的智能体协同范式。据悉,团队构建了一个包含多个独立 Claude Code 实例的自动化测试系统。在该系统内,具备 Mythos 访问权限的智能体实例负责接收问题并生成不同的解决方案路径,随后由另一个实例进行汇总并分发给其余独立运行的实例进行交叉验证。

尽管数学家 Daniel Litt 评价 Mythos 的初始结果在绝对表现上“略逊于” OpenAI 的解法,但该模型最终成功找到了与 OpenAI 相同的解题路径,并且独立推导出了更具独创性的精简证明。目前,Anthropic 已正式发布由 Opus4.7整理完成的证明版本。数智化转型网www.szhzxw.cn

这一进展再次引发了行业对于“纯大语言模型(LLM)”与“符号推理辅助系统”发展路线的讨论。此前,谷歌 DeepMind 曾宣布利用其 AlphaProof Nexus 系统攻克了9个 Erdős 问题,但因其高度依赖 Lean 形式化证明语言,在纯粹的生成式 AI 领域引发了关于自主推理含金量的争议。数智化转型网www.szhzxw.cn

相比之下,Claude Code 作为一种智能体(Agent)框架,正通过多智能体协同攻克人类顶级科学难题。当前 AI 领域正经历剧烈的范式变革,菲尔兹奖得主近日亦证实 ChatGPT5.5Pro 已能在两小时内自主完成博士级数学研究。随着 Claude Mythos 与 GPT-5.5在算法发现和系统漏洞利用等前沿领域展现出自主演进能力,AI 正在从早期的“提示词工程”阶段全面迈向具备深度逻辑推理与科学探索能力的自主智能体时代。

若您对人工智能感兴趣,可添加数智化转型网小助手思思微信加入人工智能交流群。若您在寻找人工智能供应商,可联系数智化转型网小助手思思(17757154048,微信同号)

思思微信二维码

若您为人工智能服务商,可添加数智化转型网小助手Nora,加入人工智能行业交流群。

Nora微信二维码

若您为人工智能创业者,可添加数智化转型网社群主理人Carina,加入人工智能创业交流群。

Carina微信二维码

声明:本文来自数智化转型网,版权归作者所有。文章内容仅代表作者独立观点,不代表数智化转型网立场,转载目的在于传递更多信息。如有侵权,请联系我们。

底部图片
免责声明: 本网站(http://www.szhzxw.cn/)内容主要来自原创、合作媒体供稿和第三方投稿,凡在本网站出现的信息,均仅供参考。本网站将尽力确保所提供信息的准确性及可靠性,但不保证有关资料的准确性及可靠性,读者在使用前请进一步核实,并对任何自主决定的行为负责。本网站对有关资料所引致的错误、不确或遗漏,概不负任何法律责任。 本网站刊载的所有内容(包括但不仅限文字、图片、LOGO、音频、视频、软件、程序等) 版权归原作者所有。任何单位或个人认为本网站中的内容可能涉嫌侵犯其知识产权或存在不实内容时,请及时通知本站,予以删除。https://www.szhzxw.cn/121052.html
联系我们

联系我们

17717556551

邮箱: editor@cxounion.org

关注微信
微信扫一扫关注我们

微信扫一扫关注我们

关注微博
返回顶部