详细内容或原文请订阅后点击阅览
'数学奥运会'有一个新的竞争者 - Google的AI现在“比人类金牌得主更好”解决几何问题
Google的第二代AI数学系统将语言模型与符号引擎结合在一起，可以比国际数学奥林匹克（IMO）金牌得主更好地解决复杂的几何问题。
来源:LiveScienceGoogle研究人员已经开发了人工智能（AI）数学系统，该系统可以在国际几何比赛中超越金牌得主。
人工智能该系统称为“ Alphageometry2”（AG2），是一个高级AI框架，能够解决国际数学奥林匹克（IMO）中构成的几何问题的84％。 IMO金牌优胜者平均解决了奥林匹亚问题的81.8％。
它不仅可以参与模式匹配，而且可以参与创造性问题。他们在2月7日上传到预印度ARXIV数据库的一项研究中概述了他们的发现。
Google DeepMind arxiv arxiv该公司的公告是在微软发布自己的高级AI数学推理系统RSTAR-MATH之后一个月，该系统使用小语言模型（SML）来求解复杂方程。两家公司都寻求主导AI数学领域，因为科学家说，在解决数学问题方面具有很高功能的系统可能足以模仿其他形式的人类推理。 AG2与Microsoft的RSTAR-MATH有所不同，因为它重点是通过混合推理模型解决高级问题，而R-Star使用较小的语言模型来解决更广泛的问题。
rstar-Math rstar-Math 人类推理 人类推理Google于2024年1月发布了原始版本的Alphage计量法，其最新版本显示，比以前的迭代率提高了30％的性能。 AG2的改进集中在掌握几何形状上，与微积分和代数不同，它需要视觉推理和逻辑的混合以解决复杂的问题。
字母测定的原始版本 字母测定的原始版本相关：较旧的AI模型显示出认知能力下降的迹象，但并非每个人都完全相信
相关： 较旧的AI模型显示出认知能力下降的迹象，但并非每个人都完全相信 人工通用情报 人工通用情报 约翰·贝茨