
综合
7*24 快讯
AI科普
合作
全部
英雄令
项目方
开发者
产品方
投资者
7月22日,谷歌宣布其升级版Gemini AI在国际数学奥林匹克竞赛(IMO)测试中取得金牌水平成绩。该模型成功解决了六道题目中的五道,采用DeepMind最新改进的并行思维技术与强化学习方法,显著提升多步推理和问题解决能力。此前,OpenAI的实验性模型也在相同测试中达到金牌标准。两项AI均在无工具、无联网条件下完成考试,并以自然语言书写证明。谷歌计划将此模型提供给受信任测试者试用,并逐步开放给订阅用户。
原文链接
2025年7月22日,谷歌DeepMind在第66届国际数学奥林匹克竞赛(IMO)中取得35分,达到金牌级别成绩。本届IMO中,中国队荣获团体第一,上海中学邓乐言和巴蜀中学张恒烨均获满分42分。下届IMO将于2026年在上海中学举办,进一步彰显赛事影响力与科技结合的新趋势。
原文链接
谷歌DeepMind研发的AI系统AlphaGeometry2在解决国际数学奥林匹克竞赛(IMO)几何问题上取得突破,能解答过去25年IMO中84%的几何难题,表现甚至超过平均金牌得主。该系统结合了语言模型和‘符号引擎’,并利用合成数据进行训练。AlphaGeometry2在45个IMO几何问题中解决了42个,得分超过平均金牌得主。然而,它仍面临挑战,在涉及可变数量点、非线性方程和不等式的问题上存在局限。DeepMind认为,掌握这类技能对实现更强大的人工智能至关重要。
原文链接
谷歌DeepMind的AI系统AlphaProof和AlphaGeometry 2在2024年国际数学奥林匹克竞赛中表现出色,分别做出了4道和1道题目,总得分接近金牌水平。AlphaProof在代数和数论领域表现出色,AlphaGeometry 2在几何领域展现出了惊人的速度,仅用19秒就解答了其中一道难题。这两款AI系统通过强化学习和自然语言处理技术,成功跨越了传统AI在数学推理上的局限,实现了对复杂数学问题的解答。在比赛中,AI的解题过程展示了其逻辑推理和证明能力,甚至在某些方面超过了人类选手。然而,AI在处理常识问题时仍存在不足,比如在判断9.11和9.9的大小时出现错误。这一成就标志着AI在数学领域的重大突破,预示着人工智能在解决复杂问题和扩展人类知识边界方面的潜力。
原文链接
在解答国际数学奥林匹克竞赛难题上,谷歌的DeepMind团队取得了突破性成就。通过结合AlphaProof和AlphaGeometry 2两个基于强化学习的AI模型,团队成功解答了今年IMO中的6道题目中的4道,达到了银牌得主的评价标准。参与评分的是著名数学家蒂莫西·高尔斯教授和两届IMO金牌得主约瑟夫-迈尔斯博士。AlphaProof解决了两个代数问题和一个数论问题,其中数论问题是最难的,仅有5名选手解答成功。AlphaGeometry 2则专注于几何问题解答。按照IMO规则,DeepMind系统最终获得28分,相当于银牌组的最高分。值得注意的是,2024年IMO的金奖门槛为29分,共有58名选手获奖。此次AI在数学领域的表现,展示了其在复杂逻辑推理任务上的潜力。
原文链接
加载更多

暂无内容