三款前沿模型在 IMO 题目上拿到满分
deedydas · x · 2026-07-21
这条帖子的核心是：作者认为有 3 个前沿模型在一组 IMO 相关题目上拿到了满分，并给出了一些复现说明。
- 作者强调所有过程都在 repo 里，结果可能受不同尝试影响。
- 没有使用公开网页搜索。
- 相关模型的知识截止时间都早于 IMO 2026。
- 贴里还给出了 Lean (Axiom)、Fable、Sol、Kimi K3 以及 repo 的来源链接。
所属事件:多款前沿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