热点事件持续更新
Claude 等四系统在 ProofBench 榜单满分并列登顶
1 篇报道1 个报道来源2 小时前更新
先了解这件事
AI 综述
VALS 的 ProofBench 形式化数学证明基准榜单显示，Claude Sonnet 5.5、Opus 5.5、Fable 5.1 与 AlephProver 均以 100% 得分并列榜首；榜单第 10 名系统名为「Wonder Full」。早先报道称，在 ProofBench 榜单满分登顶的是 Claude 三款模型，即 Sonnet 5.5、Opus 5.5 与 Fable 5.1；后续报道则显示，满分并列者还包括 AlephProver，共有四个系统并列第一。目前除榜单排名与得分外，报道未给出更多细节。
AI 根据报道生成 · 2 小时前更新
最新进展10月13日 05:34
最新报道显示 AlephProver 也以 100% 满分，与 Claude 三款模型并列榜首。报道时间线
沿着报道，了解事件的不同侧面。
10月13日
- AGI HuntProofBench 榜单：Claude 三款模型满分，第 10 名系统名叫「Wonder Full」
VALS 的 ProofBench 形式化数学证明基准榜单显示，Claude Sonnet 5.5、Opus 5.5、Fable 5.1 与 AlephProver 均以 100% 并列榜首。
本事件热度走势
还没有足够的连续观测数据，暂不绘制趋势。