7月19日，宣布了数学国际数学（IMO）的结果。中国球队的六名球员赢得了金牌，中国队是四年后首次返回的球队！更令人震惊的是，AI今年首次赢得了黄金。 7月21日，Google DeepMind宣布具有“深思熟虑”双子座的功能。 GeminideEpthink解决了五个问题，总得分为6个问题，符合金牌标准的35点得分，该分数由IMO官方IMO分数专家认证。这说明了AI能力的定性飞跃，以解决高度抽象和复杂的数学问题。根据OMI竞争规则，参与者必须在4.5小时内解决六个深度数学问题，涵盖代数理论，组合，几何和数字，只有8％的竞争者可以赢得金牌。数学问题不仅需要逻辑推理，而且还需要创造性思维和严格在AI系统中提出了很高的要求。近年来，IMO已成为IA模型挑战和推断数学问题的新目标，吸引了许多开源和代码模型的参与。在2024年，字母测定法2 Google DeepMind系统使用了“正式语言”（人类专家首先将问题从自然语言转化为正式语言，然后演示了模型）。一年后，AI模型的数学推理能力取得了令人难以置信的进步。 Gemini Deep直接从对问题的形式描述中直接产生严格的数学测试，这完全打破了六个问题中的五个。所有这些均在时间限制内完成4.5小时竞争性，并由OMI组委会正式认可。 “我们可以看到，Google DeepMind已经达到了英里，这允许同时探索和组合多个可能的解决方案。P考虑更多测试以逐步构建AI这可以解决更复杂和高级的数学问题。研究人员说：“将自然语言与严格推理能力相结合（包括正式语言的验证）的代理人将成为数学家，科学家，工程师和其他研究人员的重要工具，以促进人类知识的进步并加速向AGI的进步。”
