ProofBench 榜单：Claude 三款模型满分，第 10 名系统名叫「Wonder Full」

VALS 的 ProofBench 形式化数学证明基准榜单显示，Claude Sonnet 5.5、Opus 5.5、Fable 5.1 与 AlephProver 均以 100% 并列榜首。