IMO 2026 模型实测的来源与 Lean 证明链接
deedydas · x · 2026-07-21
这条回复补充了 Lean 证明、各模型运行链接和仓库地址，和原帖一起构成同一条 IMO 2026 实测信息。
它再次确认了：Claude Fable 5、GPT-5.6 Sol、Kimi K3 和 Axiom 都解出了全部题目，其中 Axiom 还把证明形式化到了 Lean。配图里也能看到运行过程中触发的安全提示，这是原帖评测语境的一部分。
所属事件:多款前沿AI模型在IMO 2026测试中斩获满分(6 条相关)→
「模型」频道最新
- 曝 Meta Muse Agent 内置邀请码逻辑,或携额外免费额度上线 — testingcatalog · 2026-09-11
- 同题 Echo Maze 实测:三大模型看似成功,代码里藏着同一个 bug — eyishazyer · 2026-09-11
- 新基准一出分数暴跌 70 点:「刷榜」现象如何让跑分失真 — airesearch12 · 2026-09-11
- ChatGPT 竟劝用户「问题太复杂,去试试更笨的回答」 — phido3000 · 2026-09-11
- Anthropic 调整年龄验证,Claude 不再向未成年人开放 — Muhammad523 · 2026-09-11
- 有人要建全模型基准分数汇总页 — airesearch12 · 2026-09-11