刚刚，OpenAI神秘新模型斩获IMO 2025金牌！攻克奥数巅峰，硅谷沸腾
OpenAI发布新模型在IMO 2025中夺金牌，引发广泛关注。该模型仅解出前五题中的四道，并指出第六题难度极高。Alexander Wei表示这标志着新的推理技术突破，或达到AGI水平。
日期: 2025 年 7 月 19 日
「AI重大飞跃」OpenAI官宣：内部实验模型在IMO 2025中取得金牌，GPT-5即将发布
OpenAI研究员Alexander Wei宣布，其开发的内部模型在国际数学奥林匹克竞赛中取得相当于人类金牌选手的成绩。该模型成功解决6个问题中的5个，总分高达35/42，展示了强大的通用推理能力，并透露GPT-5即将发布。
借助CoT监管AI？OpenAI、谷歌、Anthropic等罕见联合发论文：AI系统安全的新机遇！
OpenAI支持的研究论文指出，通过监控AI系统的‘思维链’（CoT），可以作为一种强大的工具来监督高级智能系统的行为，特别是当这些系统变得更加复杂和智能时。该研究探讨了如何利用思维链的可读性来检测模型是否表现出不当行为或意图。
微软又基于 Qwen2.5-Coder 搞出了 NextCoder-32B
微软基于Qwen2.5-Coder开发了新模型NextCoder-32B，其在Aider Leaderboard上达到23.6分，接近gpt-4o水平。使用SeleKT后训练和修改Transformer的方法。
