什么！国际数学奥林匹克竞赛金牌得主竟然是ta

游戏天地 2025年07月25日 22:30 1 admin

【来源：人民邮电报】

7月19日，2025年国际数学奥林匹克竞赛（IMO）结果揭晓，中国队6位选手全员斩金，中国队时隔4年重登第一！

更令人震惊的是，今年IMO首次有AI夺金。

7月21日，谷歌DeepMind宣布其搭载了“深度思考”能力的Gemini Deep Think，以6题解出5题、总分35分的成绩，达到金牌标准，且这一成绩经过了IMO官方评分专家们的认证。这标志着在处理高度抽象和复杂的数学问题方面，AI的能力实现了质的飞跃。

根据IMO的比赛规则，参赛者需在4.5小时内解决6道极具深度的数学问题，涵盖代数、组合学、几何和数论，而且只有排名前8%的选手才能摘得金牌。数学问题不仅需要逻辑推理，还考验创造性思维和严谨性，这对AI系统提出了极高要求。

近年来，IMO已成为AI模型挑战解决、推理数学问题的新目标，吸引了众多开源和闭源模型的参与。2024年，谷歌DeepMind的AlphaProof和AlphaGeometry 2系统，利用“形式语言”（人类专家首先将问题从自然语言翻译成形式语言，然后模型再进行证明），在2～3天的计算时间内，破解了6题中的4题，取得了银牌。

时隔一年，AI模型的数学推理能力又取得了惊人的进步。Gemini Deep Think直接从官方问题描述中生成严格的数学证明，并完美破解6道题中的5道——所有这些都在4.5小时的比赛时限内完成，且得到了IMO组委会的官方认证。

“我们可以确认，谷歌DeepMind已经达到了人们所期望的里程碑，获得了42分中的35分（金牌分数）。他们的解决方案令人惊讶，IMO评分专家们认为解法清晰、精确且大多数易于理解。”IMO主席Gregor Dolinar教授表示。

根据DeepMind团队介绍，Gemini Deep Think结合了平行思考在内的最新研究技术，这使模型可以同时探索和组合多个可能的解决方案，而不是追求单一的线性思维链。此外，研究团队还为Gemini提供了高质量的数学问题解答语料库，并在其说明中添加了一些关于如何应对IMO问题的一般提示和技巧。

研究团队和数学界保持合作，将向部分数学家提供Gemini Deep Think版本做进一步测试，逐渐构建能够解决更复杂和高级数学问题的AI。

“结合自然语言流畅性和严格推理能力（包括形式语言验证）的Agent将成为数学家、科学家、工程师等研究人员们的重要工具，推进人类知识进步，加快迈向AGI的道路。”研究人员表示。

消息来源：IMO 2025、Google DeepMind官网

编辑：潇栋于莉莉李珮雯

监制：朱筠

声明：此文版权归原作者所有，若有来源错误或者侵犯您的合法权益，您可通过邮箱与我们取得联系，我们将及时进行处理。邮箱地址：jpbl@jp.jiupainews.com

新买的固态硬盘，固态硬盘先装系统还是先4k对齐

AI会替代程序员吗

发表评论

什么！国际数学奥林匹克竞赛金牌得主竟然是ta

新买的固态硬盘，固态硬盘先装系统还是先4k对齐

AI会替代程序员吗

最新评论

最新留言

标签列表