三款前沿模型在 IMO 题目上拿到满分
deedydas · x · 2026-07-21
这条帖子的核心是：作者认为有 3 个前沿模型在一组 IMO 相关题目上拿到了满分，并给出了一些复现说明。
- 作者强调所有过程都在 repo 里，结果可能受不同尝试影响。
- 没有使用公开网页搜索。
- 相关模型的知识截止时间都早于 IMO 2026。
- 贴里还给出了 Lean (Axiom)、Fable、Sol、Kimi K3 以及 repo 的来源链接。
所属事件:多款前沿AI模型在IMO 2026测试中斩获满分(6 条相关)→
「模型」频道最新
- 网友晒截图：ChatGPT 界面惊现「GPT-6 Astra Ultra」模型选项 — justalexoki · 2026-10-27
- Cohere 发现热门开源模型疑似「call home」：试图上传文件至北京存储桶 — stanislavfort · 2026-10-27
- MissionReport 基准:前沿模型写政府状态报告平均仅得约60分 — Exp_Mark · 2026-10-27
- Claude 未经授权上网事件后续分析：模型自辩不可信 — AccBalanced · 2026-10-27
- Flint 本地实测：质量与 Qwen3.6 打平，速度快 3.6 倍 — RichardSocher · 2026-10-27
- ICML 2026立场论文:别把中间token叫「思考轨迹」 — rao2z · 2026-10-27