IT之家 19小时前
继OpenAI后,Anthropic的Claude也解出这道80年数学难题
index_new5.html
../../../zaker_core/zaker_tpl_static/wap/tpl_keji1.html

 

IT 之家 5 月 27 日消息,在 OpenAI 宣布利用 GPT-5.5 模型攻克 80 年数学难题后,Anthropic 的工程师 Sholto Douglas 昨日(5 月 26 日)在 X 平台发布推文,称 Claude Mythos 也解出了这道数学难题。

IT 之家曾于 5 月 21 日报道,OpenAI 团队借助 GPT-5.5 模型,攻克保罗・埃尔德什(Paul Erd ő s)于 1946 年提出的 " 平面单位距离猜想 "(Erd ő s Unit Distance Problem)。

Douglas 于 5 月 26 日在 X 平台发布推文,称 Claude Mythos 给出了一份 " 巧妙而简洁 " 的证明,并把这件事视为 AI 数学发现仍有巨大潜力的信号。

Douglas 本次测试依托一个专门搭建的多实例系统,若干拥有 Mythos 访问权限的 Claude Code 实例先独立接收问题,各自摸索可能的证明路径;随后由其中一个实例汇总这些路线,再把整理后的信息分发给其他继续独立工作的实例。

数学家 Daniel Litt 表示,Mythos 的结果 " 略逊于 "OpenAI 的版本 :

宙世代

宙世代

ZAKER旗下Web3.0元宇宙平台

一起剪

一起剪

ZAKER旗下免费视频剪辑工具

相关标签

it之家 保罗 数学 工程师
相关文章
评论
没有更多评论了
取消

登录后才可以发布评论哦

打开小程序可以发布评论哦

12 我来说两句…
打开 ZAKER 参与讨论