首页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的语言模型无需符号引擎帮助即可生成部分解法，暗示语言模型未来可能实现自给自足。
然而，团队指出，在语言模型速度提升和幻觉问题解决之前，符号引擎等工具在数学应用中仍不可或缺。
相关文章
Google 测试 Remy AI 代理，以 Gemini 为重点转向用户控制
根据《商业内幕》的报道，谷歌正在测试 Remy，这是 Gemini 的一款全新 AI 个人代理工具。该工具旨在代表用户执行任务，从而简化专业工作流程和日常事务。目前，Remy 正在 Gemini 应用的内部员工专属版本中进行测试。该报告引用了一份内部文件以及对两位熟悉该项目的个人的采访。内部资料将 Remy 描述为“全天候个人代理”，将 Gemini 定位为能够代表用户行事的主动助手。接近该项目的消息人士证实，谷歌员工正在积极测试 Remy。谷歌发言人拒绝提供进一步评论。该报告未提及公开发布
奥利押注隐私保护，力争在AI助手竞争中胜出
要真正发挥帮助作用，人工智能助手必须深刻理解其用户。Ollie 是一款专为日常生活设计的个人助理，其运作理念是：实现这一点无需用户交出数据，也不会损害用户的隐私。虽然某些企业级人工智能工具提供了数据隐私保护措施，但Ollie作为首批通过SOC 2认证的主流、面向家庭的人工智能服务之一，尤为突出。该认证框架允许企业通过独立审计证明，其已建立正式的控制措施来保护客户数据，并确保系统安全运行。达成这一里
AI LIVE：伦敦将如何探讨人工智能与工业自动化
本次峰会将汇聚来自全球的高管，共同探讨全球各行业面临的紧迫挑战，涵盖从人工智能驱动的颠覆性变革到经济波动等各个方面。AI LIVE：伦敦峰会将以“技术与人类使命”为主题，汇聚2,000余位国际领袖，共同探讨人工智能的新时代。BizClik旗下品牌《AI Magazine》已公布其在“AI LIVE：伦敦峰会”上举办的关于人工智能与工业自动化的联合炉边谈话环节阵容。该专题讨论会定于10月20日在伦敦
相关专题推荐
写作
最适合撰写长篇SEO文章的AI大纲生成器
2026年最新、最受好评的AI大纲生成器，专为长篇SEO文章打造，由XIX.AI精心甄选。这些强大的工具在快速创建高质量内容方面提供了颠覆性的帮助，显著提升了写作效率。 获取免费版与付费版的对比分析，以及实际测试结果和详细排名，助您找到最适合自身需求、不容错过的理想选择。立即探索，解锁您的AI竞争优势。
8 个工具
xix.ai
教育与学习
用于作业和考试备考的AI学习工具
2026年最新最佳AI学习工具，助您轻松完成作业和备考！XIX.AI精心筛选出一份广受好评的顶级工具清单，这些功能强大、颠覆传统的工具经过实际测试，能帮助学生提升效率、简化作业流程，并轻松通过考试。 获取免费版与付费版的对比分析、详细排名以及必试选项，释放你的AI优势。立即探索！
10 个工具
xix.ai
音乐创作
面向词曲创作者、旋律片段、主旋律及多语言草稿创作的AI人声演示工具
2026 年最新最佳 AI 人声演示工具，专为词曲创作者、旋律创作者和多语言内容团队打造！XIX.AI 精心整理了一份经过严格真实世界测试的高评分、变革性工具列表。您将找到详细的免费与付费对比数据、全面排名以及必试选项，帮助您提升创作效率并释放创意潜力。立即探索，发现满足您所有内容需求的完美工具！
9 个工具
xix.ai
商业
适合中小企业的最佳AI竞品分析工具
2026年最新最佳、评价最高的中小企业AI竞争研究工具！XIX.AI精心精选了一系列功能强大、颠覆行业格局的工具，每周都会根据严格的实际测试和详细排名进行更新。您可以查看全面的免费版与付费版对比，从而找到那些能提升工作效率、助您赢得竞争优势的必试工具。 立即探索，发现最适合您的工具！
9 个工具
xix.ai
图像编辑
用于电商服装、皮肤清洁和色彩一致性的 Photoshop AI 修图工具
2026 年最新最佳 Photoshop AI 修图工具，适用于电商服装、皮肤清洁和色彩一致性！这份顶级精选列表包含强大的变革性解决方案，可帮助您提升写作效率、简化内容创作并轻松实现完美的视觉效果。每个工具都经过实际测试，并通过每周更新的排名进行验证，同时提供免费与付费版本的详细对比。由 XIX.AI 支持，这是任何希望发挥 AI 优势的人必试指南。立即探索！
10 个工具
xix.ai
提示词
适用于 ChatGPT 工作流的最佳 AI 提示词库
2026年最新、最受好评的AI提示词库，可优化各类ChatGPT工作流程。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的语言模型无需符号引擎帮助即可生成部分解法，暗示语言模型未来可能实现自给自足。
然而，团队指出，在语言模型速度提升和幻觉问题解决之前，符号引擎等工具在数学应用中仍不可或缺。
Google 测试 Remy AI 代理，以 Gemini 为重点转向用户控制
根据《商业内幕》的报道，谷歌正在测试 Remy，这是 Gemini 的一款全新 AI 个人代理工具。该工具旨在代表用户执行任务，从而简化专业工作流程和日常事务。目前，Remy 正在 Gemini 应用的内部员工专属版本中进行测试。该报告引用了一份内部文件以及对两位熟悉该项目的个人的采访。内部资料将 Remy 描述为“全天候个人代理”，将 Gemini 定位为能够代表用户行事的主动助手。接近该项目的消息人士证实，谷歌员工正在积极测试 Remy。谷歌发言人拒绝提供进一步评论。该报告未提及公开发布
奥利押注隐私保护，力争在AI助手竞争中胜出
要真正发挥帮助作用，人工智能助手必须深刻理解其用户。Ollie 是一款专为日常生活设计的个人助理，其运作理念是：实现这一点无需用户交出数据，也不会损害用户的隐私。虽然某些企业级人工智能工具提供了数据隐私保护措施，但Ollie作为首批通过SOC 2认证的主流、面向家庭的人工智能服务之一，尤为突出。该认证框架允许企业通过独立审计证明，其已建立正式的控制措施来保护客户数据，并确保系统安全运行。达成这一里
AI LIVE：伦敦将如何探讨人工智能与工业自动化
本次峰会将汇聚来自全球的高管，共同探讨全球各行业面临的紧迫挑战，涵盖从人工智能驱动的颠覆性变革到经济波动等各个方面。AI LIVE：伦敦峰会将以“技术与人类使命”为主题，汇聚2,000余位国际领袖，共同探讨人工智能的新时代。BizClik旗下品牌《AI Magazine》已公布其在“AI LIVE：伦敦峰会”上举办的关于人工智能与工业自动化的联合炉边谈话环节阵容。该专题讨论会定于10月20日在伦敦
2026年最新、最受好评的AI大纲生成器，专为长篇SEO文章打造，由XIX.AI精心甄选。这些强大的工具在快速创建高质量内容方面提供了颠覆性的帮助，显著提升了写作效率。 获取免费版与付费版的对比分析，以及实际测试结果和详细排名，助您找到最适合自身需求、不容错过的理想选择。立即探索，解锁您的AI竞争优势。
8 个工具
xix.ai
2026年最新最佳AI学习工具，助您轻松完成作业和备考！XIX.AI精心筛选出一份广受好评的顶级工具清单，这些功能强大、颠覆传统的工具经过实际测试，能帮助学生提升效率、简化作业流程，并轻松通过考试。 获取免费版与付费版的对比分析、详细排名以及必试选项，释放你的AI优势。立即探索！
10 个工具
xix.ai
2026 年最新最佳 AI 人声演示工具，专为词曲创作者、旋律创作者和多语言内容团队打造！XIX.AI 精心整理了一份经过严格真实世界测试的高评分、变革性工具列表。您将找到详细的免费与付费对比数据、全面排名以及必试选项，帮助您提升创作效率并释放创意潜力。立即探索，发现满足您所有内容需求的完美工具！
9 个工具
xix.ai
2026年最新最佳、评价最高的中小企业AI竞争研究工具！XIX.AI精心精选了一系列功能强大、颠覆行业格局的工具，每周都会根据严格的实际测试和详细排名进行更新。您可以查看全面的免费版与付费版对比，从而找到那些能提升工作效率、助您赢得竞争优势的必试工具。 立即探索，发现最适合您的工具！
9 个工具
xix.ai
2026 年最新最佳 Photoshop AI 修图工具，适用于电商服装、皮肤清洁和色彩一致性！这份顶级精选列表包含强大的变革性解决方案，可帮助您提升写作效率、简化内容创作并轻松实现完美的视觉效果。每个工具都经过实际测试，并通过每周更新的排名进行验证，同时提供免费与付费版本的详细对比。由 XIX.AI 支持，这是任何希望发挥 AI 优势的人必试指南。立即探索！
10 个工具
xix.ai
2026年最新、最受好评的AI提示词库，可优化各类ChatGPT工作流程。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 !
