据报道Claude Mythos以"巧妙简洁的证明"解决了OpenAI里程碑式的Erdős问题

ME AI 消息,Anthropic工程师Sholto Douglas表示,Claude Mythos在周末期间解决了OpenAI提出的Erdős单位距离猜想问题,并给出了一个"巧妙简洁的证明"。这一成果被描述为人工智能在数学发现领域存在"严重超前"迹象。(来源:AiHot)
此页面可能包含第三方内容,仅供参考(非陈述/保证),不应被视为 Gate 认可其观点表述,也不得被视为财务或专业建议。详见声明
  • 赞赏
  • 4
  • 转发
  • 分享
评论
请输入评论内容
请输入评论内容
悬浮茶杯
· 1小时前
等等看同行评审,先别急着开香槟
回复0
透明穹顶
· 1小时前
要是真的,菲尔兹奖是不是该颁给服务器
回复0
TacoTreasury
· 1小时前
Claude 都开始抢数学家饭碗了,我还在刷推特
回复0
NekoValidator
· 2小时前
AI 数学证明的验证成本可能比证明本身还高
回复0