亚历山大·魏（Alexander Wei）宣布：OpenAI 赢得 AGI 里程碑

OpenAI 研究员 亚历山大·魏 今日在 X（原推特）上宣布：

“我们的一款通用语言模型（LLM），在未经特别微调的情况下，成功达到了 2025 国际数学奥林匹克竞赛（IMO）金牌水平。”

这不是一个专为数学设计的系统，而是一个靠 通用推理能力 + 强化学习 + 计算资源提升 得到训练的语言模型。

📊 关键成果：

• 模型在真实考试条件下（9小时内，不使用外部工具）完成了全部6道题目中的5道，得分为 35/42 分，达到人类金牌选手标准。
• 山姆·奥特曼（Sam Altman） 随后在社交媒体发文称： “这是我们通往 AGI（通用人工智能）道路上的重大里程碑……关键在于：这是靠一个大语言模型完成的，不是专门的形式化数学系统。”

🔥 为什么这很重要？

• 首次 有 LLM 在 高级数学推理 领域达到金牌人类水准，证明了 LLM 并非只能聊天，而是能进行高阶逻辑证明。
• 这显示 OpenAI 正在逐步接近 AGI，而不是依靠一堆小型、专用 AI 工具。

📅 关于 GPT-5 的消息：

• Sam Altman 在多个采访中表示：GPT-5 将在 2025 年夏末发布（预计 7～9 月）。
• 此次获得 IMO 金牌的模型 不是 GPT-5 正式版本，但其技术成果将纳入 GPT-5 的架构中。
• OpenAI 表示会在确保安全的前提下，再正式发布 GPT-5。

✅ 总结：