OpenAI 研究员澄清：o3 尚未解决数学，远未达 IMO 金牌水平
iamgroguu · x · 2026-08-01
针对外界关于 AI 已经“解决数学”的过度炒作，OpenAI 研究员 Noah 予以澄清。他指出当前模型在编写数学证明方面表现依然不佳，且 o3 和 o4-mini 距离获得国际数学奥林匹克（IMO）金牌还有很大差距。
「模型」频道最新
- 用户痛诉 GPT-6.1 Sol 慢且 bug 多,转投 Claude 称快 7 倍 — karmay007 · 2026-10-16
- 博主称免费版用户已严重低估 10 个月来 AI Agent 的进步 — realmeetjames · 2026-10-16
- 腾讯混元开源 Hy Memory 2.0:模型+框架+MemHub 三件套管 Agent 记忆 — TencentHunyuan · 2026-10-16
- 四个 Gemini 代理打 Minecraft：27 小时写 2783 个程序击败末影龙 — _rockt · 2026-10-16
- 曝 OpenAI 年内再发两款模型：GPT-6.1 Astra 与 GPT-6.5 Bell — VraserX · 2026-10-16
- 开源模型已追平 Claude Sonnet 5，差距收窄速度前所未有 — LegacyRemaster · 2026-10-16