首页DeepMind的AI优于IMO金牌得主
谷歌DeepMind的最新AI，AlphaGeometry2，通过在国际数学奥林匹克（IMO）几何问题解决中超越平均金牌得主而引起轰动。这一于去年1月推出的AlphaGeometry升级版，据报道解决了过去25年IMO竞赛中84%的几何问题。
你可能好奇为什么DeepMind聚焦于高中数学竞赛。他们认为，破解这些具有挑战性的欧几里得几何问题可能是开发更高级AI的踏板。解决这些问题需要逻辑推理和探索多种解法路径的能力，这些技能对未来通用AI系统至关重要。
今年夏天，DeepMind展示了结合AlphaGeometry2与AlphaProof（另一款为形式数学推理设计的AI模型）的系统。它们共同解决了2024年IMO六道题目中的四道。这种方法可能扩展到数学和科学的其他领域，如复杂工程计算。
AlphaGeometry2由谷歌Gemini家族的语言模型和“符号引擎”驱动。Gemini模型协助符号引擎应用数学规则寻找解法，为几何定理创建可行证明。
IMO考试中的典型几何问题图。图片来源：谷歌（在新窗口打开） 在IMO中，几何问题常需在图中添加“构造”，如点、线或圆，然后解决。AlphaGeometry2的Gemini模型预测哪些构造可能有用，引导符号引擎进行推导。
工作原理如下：Gemini模型以形式数学语言建议步骤和构造，引擎检查其逻辑一致性。AlphaGeometry2使用搜索算法同时探索多条解法路径，并将潜在有用发现存储在共享知识库中。
当AlphaGeometry2结合Gemini模型的建议与符号引擎的已知原理形成完整证明时，问题被视为“解决”。
由于可用几何训练数据稀缺，DeepMind创建了合成数据，生成超过3亿个复杂度各异的定理和证明，训练AlphaGeometry2的语言模型。
DeepMind团队在2000至2024年IMO竞赛的45道几何问题（扩展为50道）上测试AlphaGeometry2，解决了42道，超过平均金牌得主分数40.9。
然而，AlphaGeometry2有局限性。它在涉及变点数、非线性方程和不等式的问题上表现不佳。虽然它不是首个达到金牌水平的几何AI，但它是首个在如此大问题集上做到这一点的AI。
面对29道尚未在竞赛中出现的IMO提名难题，AlphaGeometry2仅解决了20道。
研究结果可能引发关于构建AI系统最佳方法的进一步争论。我们应专注于符号操作（AI使用规则操作代表知识的符号），还是神经网络（模仿人脑结构并从数据学习）？
AlphaGeometry2采用混合方法，结合Gemini模型的神经网络架构与基于规则的符号引擎。
神经网络支持者认为智能行为可从海量数据和计算能力中涌现。相反，符号AI支持者认为它更适合编码知识、推理复杂场景和解释解法。
卡内基梅隆大学计算机科学教授Vince Conitzer评论了IMO基准测试的惊人进展与语言模型在简单常识问题上的持续挣扎之间的对比。他强调需要更好地理解这些系统及其风险。
AlphaGeometry2表明，结合符号操作和神经网络可能是追求可泛化AI的潜在方向。有趣的是，DeepMind团队发现AlphaGeometry2的语言模型无需符号引擎帮助即可生成部分解法，暗示语言模型未来可能实现自给自足。
然而，团队指出，在语言模型速度提升和幻觉问题解决之前，符号引擎等工具在数学应用中仍不可或缺。
相关文章
华纳音乐收购AI归因初创公司Sureel AI
华纳音乐集团（WMG）于周三确认，其正在收购Sureel AI，一家专注于人工智能归因的初创公司。Sureel的专有技术为音乐曲目生成“AI DNA”，将其分解为各个组成部分，以追踪人工智能模型如何利用这些元素。通过此次收购，WMG旨在增强其监控其艺术家和词曲创作者的作品在人工智能生成内容中被使用或用于训练人工智能模型的能力。“将Sureel整合到WMG中，增强了我们的保护、控制和变现能力，确保创意社区保留对其知识产权、姓名、肖像、形象和声音的控制权，”WMG首席执行官Robert Kync
亚马逊推出“Alexa for Shopping”，同时将Rufus边缘化
亚马逊推出了“Alexa for Shopping”，将 Rufus 购物聊天机器人 Alexa+ 整合到应用程序、网站和 Echo Show 设备中。该助手回答产品查询、比较商品、跟踪价格，并支持购物提醒。它还处理计划中的购物操作和符合条件的自动购买。据该公司称，“Alexa for Shopping”将 Rufus 的产品专业知识与 Alexa+ 的个性化助手上下文相结合。亚马逊表示，Rufus 在 2025 年协助了超过 3 亿客户进行产品研究、比较和购买。GeekWire 报道称，
微软、Azure 和人工智能技术共同应对加利福尼亚州野火风险
微软投资于人工智能驱动的山火监测技术，其首席副总裁兼首席数据科学家胡安·拉维斯塔·费雷斯（Juan Lavista Ferres）探讨了减轻环境损害的策略。据美国国家航空航天局（NASA）称，气候变化影响着地球上的每个人，其表现为气温上升、降雨模式改变以及海平面上升。NASA指出，有确凿证据表明地球正以史无前例的速度变暖，而人类活动是其主要驱动因素。随着全球气温上升，野火构成的威胁日益加剧。 在美
相关专题推荐
音乐创作
最佳用于歌曲草稿的 AI 旋律创作工具
2026 年最新最佳顶级评分 AI 旋律创作工具，助力歌曲草稿创作！XIX.AI 精心策划了一套极具影响力且经过严格真实世界测试的变革性合集，旨在提供最佳的创作体验。您可以找到详细的免费与付费版对比、精准的排名以及必试选项，这些工具旨在帮助您轻松创作出令人惊艳的歌曲草稿，并显著提升您的创意生产力。立即探索，发现您的完美工具！
8 个工具
xix.ai
聊天机器人
最佳AI对话训练工具，助你备战面试
2026年最新、最受好评的AI面试模拟训练工具现已登陆XIX.AI！这份精心精选的合集收录了功能强大、具有革命性意义的工具，它们均经过严格的实际测试，能够提供精准的反馈。 您将看到免费版与付费版的对比分析以及详细排名，助您挑选出必试之选，从而提升自信并精进技能。立即探索，发现助您面试成功的完美工具！
12 个工具
xix.ai
设计与艺术
最适合创意实验的AI风格转换工具
2026年最新最佳、评价最高的AI风格转换工具，助您开展创意实验！XIX.AI精心甄选了一系列功能强大、颠覆性的必试工具，这些工具经过实际测试和严格排名，可带来卓越的效果。这些顶级解决方案通过加速内容创作并释放无限创意潜能，帮助创作者显著提升工作效率。 立即探索，找到最适合您的工具，今天就开始创作吧！
9 个工具
xix.ai
漫画创作
最适合视觉叙事的AI对话气泡工具
2026年最新、最受欢迎的视觉叙事AI对话气泡工具现已登陆XIX.AI！这份精心精选的合集汇集了功能强大、具有颠覆性的工具，可帮助创作者提升工作效率并突破创作瓶颈。 获取免费版与付费版的对比分析，查看实际测试结果，并查阅最新排行榜，找到最适合打造引人入胜的视觉叙事的必试解决方案。立即探索，发现您的理想工具！
10 个工具
xix.ai
会议助理
顶级AI会议摘要工具：清晰追踪决策与后续跟进
2026年最新高评分最佳AI会议摘要工具，助您清晰追踪决策并轻松跟进。这份精心筛选的清单展示了功能强大、具有颠覆性的解决方案，它们通过自动化会议记录、识别关键行动项以及简化所有项目中的团队协调，显著提升工作效率。 获取免费版与付费版的对比分析，以及实际测试报告和每周更新的排行榜，助您找到最适合的工具。立即探索，释放您的AI优势！
9 个工具
xix.ai
数据分析
最佳人工智能数据清洗工具：快速处理缺失值与重复数据
2026年最新、最优秀且评分最高的AI数据清洗工具，可快速处理缺失值与重复数据问题。这份精心挑选的清单展示了那些功能强大、能带来颠覆性变革的解决方案，可显著提升工作效率。所有候选工具都经过了严格的实际应用测试，以确保其稳定性。您可以获取免费版与付费版的对比信息，找出最符合您需求的必备工具。即刻访问XIX.AI，开启您的AI优势之旅。
11 个工具
xix.ai
评论 (34)
0/500
![DonaldAdams]()
AlphaGeometry2這表現也太猛了吧！直接超越IMO金牌平均水準，感覺數學競賽的未來要徹底改寫了。不過AI在幾何證明上這麼強，以後學生還需要苦練那些輔助線技巧嗎？🤔 既期待又怕被取代啊...
![AnthonyMoore]()
C'est impressionnant de voir à quelle vitesse AlphaGeometry2 a été développé après la première version ! 😮 Mais je me demande comment cela se traduirait dans le monde réel, au-delà des compétitions. Peut-être pour la conception d'algorithmes complexes ? Cela donne aussi un peu peur pour l'avenir des métiers très spécialisés...
![BenHernández]()
AlphaGeometry2って前回のバージョンからかなり進化してるんですね。IMO金メダリストを超えるって凄すぎる😳 でもこれがどんどん研究が進んで、いずれ人間が解けない問題もAIが解く時代が来るのかな？ちょっと怖いかも
![KevinBrown]()
Impressionnant mais un peu flippant... Si une IA peut battre des médaillés d'or aux Olympiades, qu'est-ce qui nous reste comme domaines où les humains sont encore les meilleurs ? 😅 J'espère qu'on va pas tous devenir obsolètes !
![GregoryWalker]()
This AI beating IMO champs is wild! 🧠 Geometry’s tough, but AlphaGeometry2’s out here crushing it. Makes me wonder if it’ll start tutoring kids soon! 😄
![AnthonyMoore]()
Incroyable, AlphaGeometry2 dépasse les médaillés d'or de l'IMO en géométrie ! 😲 Ça montre à quel point l'IA avance vite, mais je me demande si elle pourrait un jour résoudre des problèmes plus... humains, comme gérer mes impôts !
谷歌DeepMind的最新AI，AlphaGeometry2，通过在国际数学奥林匹克（IMO）几何问题解决中超越平均金牌得主而引起轰动。这一于去年1月推出的AlphaGeometry升级版，据报道解决了过去25年IMO竞赛中84%的几何问题。
你可能好奇为什么DeepMind聚焦于高中数学竞赛。他们认为，破解这些具有挑战性的欧几里得几何问题可能是开发更高级AI的踏板。解决这些问题需要逻辑推理和探索多种解法路径的能力，这些技能对未来通用AI系统至关重要。
今年夏天，DeepMind展示了结合AlphaGeometry2与AlphaProof（另一款为形式数学推理设计的AI模型）的系统。它们共同解决了2024年IMO六道题目中的四道。这种方法可能扩展到数学和科学的其他领域，如复杂工程计算。
AlphaGeometry2由谷歌Gemini家族的语言模型和“符号引擎”驱动。Gemini模型协助符号引擎应用数学规则寻找解法，为几何定理创建可行证明。
在IMO中，几何问题常需在图中添加“构造”，如点、线或圆，然后解决。AlphaGeometry2的Gemini模型预测哪些构造可能有用，引导符号引擎进行推导。
工作原理如下：Gemini模型以形式数学语言建议步骤和构造，引擎检查其逻辑一致性。AlphaGeometry2使用搜索算法同时探索多条解法路径，并将潜在有用发现存储在共享知识库中。
当AlphaGeometry2结合Gemini模型的建议与符号引擎的已知原理形成完整证明时，问题被视为“解决”。
由于可用几何训练数据稀缺，DeepMind创建了合成数据，生成超过3亿个复杂度各异的定理和证明，训练AlphaGeometry2的语言模型。
DeepMind团队在2000至2024年IMO竞赛的45道几何问题（扩展为50道）上测试AlphaGeometry2，解决了42道，超过平均金牌得主分数40.9。
然而，AlphaGeometry2有局限性。它在涉及变点数、非线性方程和不等式的问题上表现不佳。虽然它不是首个达到金牌水平的几何AI，但它是首个在如此大问题集上做到这一点的AI。
面对29道尚未在竞赛中出现的IMO提名难题，AlphaGeometry2仅解决了20道。
研究结果可能引发关于构建AI系统最佳方法的进一步争论。我们应专注于符号操作（AI使用规则操作代表知识的符号），还是神经网络（模仿人脑结构并从数据学习）？
AlphaGeometry2采用混合方法，结合Gemini模型的神经网络架构与基于规则的符号引擎。
神经网络支持者认为智能行为可从海量数据和计算能力中涌现。相反，符号AI支持者认为它更适合编码知识、推理复杂场景和解释解法。
卡内基梅隆大学计算机科学教授Vince Conitzer评论了IMO基准测试的惊人进展与语言模型在简单常识问题上的持续挣扎之间的对比。他强调需要更好地理解这些系统及其风险。
AlphaGeometry2表明，结合符号操作和神经网络可能是追求可泛化AI的潜在方向。有趣的是，DeepMind团队发现AlphaGeometry2的语言模型无需符号引擎帮助即可生成部分解法，暗示语言模型未来可能实现自给自足。
然而，团队指出，在语言模型速度提升和幻觉问题解决之前，符号引擎等工具在数学应用中仍不可或缺。
华纳音乐收购AI归因初创公司Sureel AI
华纳音乐集团（WMG）于周三确认，其正在收购Sureel AI，一家专注于人工智能归因的初创公司。Sureel的专有技术为音乐曲目生成“AI DNA”，将其分解为各个组成部分，以追踪人工智能模型如何利用这些元素。通过此次收购，WMG旨在增强其监控其艺术家和词曲创作者的作品在人工智能生成内容中被使用或用于训练人工智能模型的能力。“将Sureel整合到WMG中，增强了我们的保护、控制和变现能力，确保创意社区保留对其知识产权、姓名、肖像、形象和声音的控制权，”WMG首席执行官Robert Kync
亚马逊推出“Alexa for Shopping”，同时将Rufus边缘化
亚马逊推出了“Alexa for Shopping”，将 Rufus 购物聊天机器人 Alexa+ 整合到应用程序、网站和 Echo Show 设备中。该助手回答产品查询、比较商品、跟踪价格，并支持购物提醒。它还处理计划中的购物操作和符合条件的自动购买。据该公司称，“Alexa for Shopping”将 Rufus 的产品专业知识与 Alexa+ 的个性化助手上下文相结合。亚马逊表示，Rufus 在 2025 年协助了超过 3 亿客户进行产品研究、比较和购买。GeekWire 报道称，
微软、Azure 和人工智能技术共同应对加利福尼亚州野火风险
微软投资于人工智能驱动的山火监测技术，其首席副总裁兼首席数据科学家胡安·拉维斯塔·费雷斯（Juan Lavista Ferres）探讨了减轻环境损害的策略。据美国国家航空航天局（NASA）称，气候变化影响着地球上的每个人，其表现为气温上升、降雨模式改变以及海平面上升。NASA指出，有确凿证据表明地球正以史无前例的速度变暖，而人类活动是其主要驱动因素。随着全球气温上升，野火构成的威胁日益加剧。 在美
2026 年最新最佳顶级评分 AI 旋律创作工具，助力歌曲草稿创作！XIX.AI 精心策划了一套极具影响力且经过严格真实世界测试的变革性合集，旨在提供最佳的创作体验。您可以找到详细的免费与付费版对比、精准的排名以及必试选项，这些工具旨在帮助您轻松创作出令人惊艳的歌曲草稿，并显著提升您的创意生产力。立即探索，发现您的完美工具！
8 个工具
xix.ai
2026年最新、最受好评的AI面试模拟训练工具现已登陆XIX.AI！这份精心精选的合集收录了功能强大、具有革命性意义的工具，它们均经过严格的实际测试，能够提供精准的反馈。 您将看到免费版与付费版的对比分析以及详细排名，助您挑选出必试之选，从而提升自信并精进技能。立即探索，发现助您面试成功的完美工具！
12 个工具
xix.ai
2026年最新最佳、评价最高的AI风格转换工具，助您开展创意实验！XIX.AI精心甄选了一系列功能强大、颠覆性的必试工具，这些工具经过实际测试和严格排名，可带来卓越的效果。这些顶级解决方案通过加速内容创作并释放无限创意潜能，帮助创作者显著提升工作效率。 立即探索，找到最适合您的工具，今天就开始创作吧！
9 个工具
xix.ai
2026年最新、最受欢迎的视觉叙事AI对话气泡工具现已登陆XIX.AI！这份精心精选的合集汇集了功能强大、具有颠覆性的工具，可帮助创作者提升工作效率并突破创作瓶颈。 获取免费版与付费版的对比分析，查看实际测试结果，并查阅最新排行榜，找到最适合打造引人入胜的视觉叙事的必试解决方案。立即探索，发现您的理想工具！
10 个工具
xix.ai
2026年最新高评分最佳AI会议摘要工具，助您清晰追踪决策并轻松跟进。这份精心筛选的清单展示了功能强大、具有颠覆性的解决方案，它们通过自动化会议记录、识别关键行动项以及简化所有项目中的团队协调，显著提升工作效率。 获取免费版与付费版的对比分析，以及实际测试报告和每周更新的排行榜，助您找到最适合的工具。立即探索，释放您的AI优势！
9 个工具
xix.ai
2026年最新、最优秀且评分最高的AI数据清洗工具，可快速处理缺失值与重复数据问题。这份精心挑选的清单展示了那些功能强大、能带来颠覆性变革的解决方案，可显著提升工作效率。所有候选工具都经过了严格的实际应用测试，以确保其稳定性。您可以获取免费版与付费版的对比信息，找出最符合您需求的必备工具。即刻访问XIX.AI，开启您的AI优势之旅。
11 个工具
xix.ai
AlphaGeometry2這表現也太猛了吧！直接超越IMO金牌平均水準，感覺數學競賽的未來要徹底改寫了。不過AI在幾何證明上這麼強，以後學生還需要苦練那些輔助線技巧嗎？🤔 既期待又怕被取代啊...
C'est impressionnant de voir à quelle vitesse AlphaGeometry2 a été développé après la première version ! 😮 Mais je me demande comment cela se traduirait dans le monde réel, au-delà des compétitions. Peut-être pour la conception d'algorithmes complexes ? Cela donne aussi un peu peur pour l'avenir des métiers très spécialisés...
AlphaGeometry2って前回のバージョンからかなり進化してるんですね。IMO金メダリストを超えるって凄すぎる😳 でもこれがどんどん研究が進んで、いずれ人間が解けない問題もAIが解く時代が来るのかな？ちょっと怖いかも
Impressionnant mais un peu flippant... Si une IA peut battre des médaillés d'or aux Olympiades, qu'est-ce qui nous reste comme domaines où les humains sont encore les meilleurs ? 😅 J'espère qu'on va pas tous devenir obsolètes !
This AI beating IMO champs is wild! 🧠 Geometry’s tough, but AlphaGeometry2’s out here crushing it. Makes me wonder if it’ll start tutoring kids soon! 😄
Incroyable, AlphaGeometry2 dépasse les médaillés d'or de l'IMO en géométrie ! 😲 Ça montre à quel point l'IA avance vite, mais je me demande si elle pourrait un jour résoudre des problèmes plus... humains, comme gérer mes impôts !
