国际数学奥林匹克竞赛(IMO)是全球顶级的数学赛事,对参赛者的数学能力提出了极高要求。今年,OpenAI 和谷歌的最新大语言模型(LLM)首次参赛并取得了令人瞩目的成绩。OpenAI 的实验性推理语言模型在 2025 年 IMO 题目测试中获得了金牌级别成绩,其测试条件与人类选手相同,需要在规定时间内、不使用任何工具的情况下,以自然语言书写证明过程。无独有偶,谷歌的升级版 Gemini Deep Think 也成功解决了 IMO 六道题目中的五道,同样达到金牌水平。谷歌的这一升级版模型融合了 DeepMind 最新的研究成果,如并行思维技术,能够同时探索多种解决方案,并利用强化学习技术提升多步推理、问题解决和定理证明能力。谷歌计划将此模型逐步开放给测试者和订阅用户使用。
🚀 OpenAI 的实验性推理语言模型在 2025 年国际数学奥林匹克竞赛(IMO)的题目测试中取得了金牌级别的成绩。该模型在与人类参赛者相同的严格条件下进行测试,包括在规定时间内、不使用任何工具或联网,并以自然语言书写证明过程,这标志着 AI 在复杂推理和问题解决能力上的重大突破。
🌟 谷歌的升级版 Gemini Deep Think 模型同样在 IMO 竞赛中表现出色,成功解决了六道题目中的五道,达到了金牌水平。这一成就得益于谷歌 DeepMind 最新的研究成果,特别是引入了并行思维技术,使模型能够同时探索多种解决方案,极大地提升了推理效率。
💡 Gemini Deep Think 的能力提升还依赖于谷歌 DeepMind 团队采用的新颖强化学习技术,这显著增强了模型的多步推理、问题解决和定理证明能力。此外,通过提供高质量的数学问题解决方案语料库和针对 IMO 问题的通用提示词及技巧,进一步优化了模型的表现。
📈 谷歌计划在不久的将来向一组受信任的测试者提供升级版 Deep Think 模型进行试用,并随后向谷歌 AI Ultra 订阅用户开放使用权限,预示着未来 AI 在高级数学研究和教育领域的广泛应用前景。
IT之家 7 月 22 日消息,国际数学奥林匹克竞赛(IMO)是全球最负盛名的数学竞赛之一,每年每个国家由六名高中生代表参赛,他们需在规定时间内解答六道极具挑战性的数学难题。在这一竞赛中,仅有约 8% 的参赛者能够获得金牌,这使得 IMO 的金牌成为数学领域的至高荣誉。

在今年的国际数学奥林匹克竞赛中,OpenAI 和谷歌都使用了它们最新的大语言模型(LLM)参赛。
上周末,OpenAI 宣布其实验性推理语言模型在 2025 年 IMO 的题目测试中取得了金牌级别的成绩。OpenAI 的模型在与学生相同的规则下进行了测试,需要在两场时长各 4.5 小时的考试时段内完成题目解答,且不能使用任何工具或联网,最终还需以自然语言形式书写证明过程。
今日,谷歌也宣布其升级版的 Gemini Deep Think 成功解决了 IMO 六道题目中的五道,同样达到了金牌水平的表现。这一升级版的 Gemini Deep Think 采用了谷歌 DeepMind 最新研究成果中的改进推理模式,包括并行思维技术,使其能够同时探索多种解决方案,而不再局限于逐一尝试。
IT之家注意到,谷歌 DeepMind 团队在介绍这一升级版的 Gemini Deep Think 时表示:“为了充分发挥 Deep Think 的推理能力,我们利用了新颖的强化学习技术,进一步增强了模型的多步推理、问题解决和定理证明能力。此外,我们还为 Gemini 提供了高质量数学问题解决方案的精选语料库,并在其指令中添加了一些关于如何应对 IMO 问题的通用提示词和技巧。”
谷歌计划在未来不久将这一升级版的 Deep Think 模型提供给一组受信任的测试者进行试用,并将在后续向谷歌 AI Ultra 订阅用户开放使用权限。