跳到正文
热点事件持续更新

千个智能体复现费马证明的说法待核实

2 篇报道2 个报道来源1 小时前更新

先了解这件事

AI 综述

Anthropic团队据报道让1000个运行早期版Claude Fable 5.2的智能体在无互联网沙箱中复现了费马大定理的形式化证明,未获研究人员关于证明方法或协作方式的指导。团队称实验用时28.7小时,输出token约为原实验三分之一,证明长度为原证明的七分之一;任务通过Git和共享SQL数据库协调,并由行动监控器审查。 但后续报道指出,Claude Fable 5.2并非已知官方发布模型,目前也未获权威来源证实该实验,消息可能是玩梗或谣言,因此上述结果仍待核实。

AI 根据报道生成 · 49 分钟前更新

事件进展

2 个进展

  1. 11月10日 12:49 · 1 篇报道
    网传 1000 个 agent 用早期 Claude Fable 5.2 复现费马大定理证明,真伪待证
    AGI Hunt:网传 1000 个 agent 用早期 Claude Fable 5.2 复现费马大定理证明,真伪待证
  2. 11月9日 20:00 · 1 篇报道
    千个智能体复现费马大定理证明
    AIHOT:Anthropic 用 1000 个 Claude Fable 5.2 智能体复现费马大定理形式化证明

报道时间线

沿着报道,了解事件的不同侧面。

11月10日
  1. AGI Hunt
    网传 1000 个 agent 用早期 Claude Fable 5.2 复现费马大定理证明,真伪待证

    一则消息称,1000 个 agent 组成的团队用早期版本 Claude Fable 5.2 复现了费马大定理的形式化证明。但 Claude Fable 5.2 并非已知官方发布模型,且未见任何权威来源证实,消息更可能是玩梗或谣言。

11月9日
  1. AIHOT精选
    Anthropic 用 1000 个 Claude Fable 5.2 智能体复现费马大定理形式化证明

    Anthropic 团队让 1000 个运行早期 Claude Fable 5.2 的智能体在沙箱中复现费马大定理的形式化证明,未使用 Prove2Me 平台或研究人员引导。团队用时 28.7 小时,消耗的输出 token 约为原实验的三分之一,证明长度为原来的七分之一。实验以 Git 和共享 SQL 数据库协调任务,并由实时及离线监控器审查智能体行为。

本事件热度走势

可比范围当前
16
可比范围峰值
1611月10日 13:00
近 24 小时变化
–

趋势仅比较持续完整观测到的相同主体,范围可能小于当前热度统计。移动指针或点击图表查看每小时热度;键盘可用左右方向键切换。