当地时间7月25日,谷歌DeepMind 在官网宣布宣布旗下人工智能完成了一项重要挑战:用 AI 做出了今年国际数学奥林匹克竞赛 IMO 的真题51网贷查询网,并且距拿金牌仅一步之遥。
上周刚刚结束的 IMO 竞赛共有六道赛题,涉及代数、组合学、几何和数论。谷歌提出的混合 AI 系统做对了四道,获得 28 分,达到了银牌水平。
在这背后,由 DeepMind 团队研发的 AlphaProof 和 AlphaGeometry 2 共同实现了里程碑式的突破。其中,AlphaProof 是一种用于形式化数学推理的强化学习系统,而 AlphaGeometry 2 是 DeepMind 几何求解系统 AlphaGeometry 的改进版本。这一突破表明具有先进数学推理能力的通用人工智能 (AGI) 有潜力开启科学技术新领域。
举报 第一财经广告合作,请点击这里此内容为第一财经原创,著作权归第一财经所有。未经第一财经书面授权,不得以任何方式加以使用,包括转载、摘编、复制或建立镜像。第一财经保留追究侵权者法律责任的权利。 如需获得授权请联系第一财经版权部:021-22002972或021-22002335;banquan@yicai.com。 文章作者一财科技
受AI需求提振,谷歌云业务首次季度收入超过100亿美元。
07-24 07:53 AI算不出9.11和9.9哪个大?六家大模型厂商总结了这些原因大模型“答对”或“答错”其实是个概率问题。
07-18 16:50 教大模型学数学,总共分几步?大模型在解决数学问题方面的表现不佳,引发了对其推理能力的质疑。
07-17 17:04 翻车了!9.11和9.9哪个大?记者实测12个大模型8个都答错“文科生”数学差,数学能力一直是大语言模型的短板。
必读 07-17 08:16 徐云程:善用 AI 的上市企业更有机会成为好公司 07-10 18:50 一财最热 点击关闭