谷歌AI系统解决几何问题水平接近奥数冠军
新华社
2024-01-23 03:37:51
0

原标题:谷歌AI系统解决几何问题水平接近奥数冠军

新华社北京1月22日电 谷歌旗下人工智能公司“深层思维”近日发布公报称,该公司与美国纽约大学的研究人员合作开发的一种名为AlphaGeometry的人工智能(AI)系统,可以解决复杂的几何问题,其水平接近国际数学奥林匹克竞赛金牌得主,这是人工智能在性能上的突破。

证明数学定理是一项具有挑战性的工作,因此国际数学奥林匹克竞赛通常被认为是识别相关人才的方法,同时也是AI在数学和推理领域的试验场。公报说,AI系统往往难以解决几何和数学中的复杂问题,而该研究团队开发的一种方法可生成大量的合成训练数据(1亿个独特的示例),能让AlphaGeometry在没有任何人工演示的情况下进行自我训练。此外,研究团队还添加了一个基于形式逻辑的符号推演引擎,能让系统做出更“深思熟虑”的决策。

测试结果显示,在2000年到2022年国际数学奥林匹克竞赛汇编的30个几何问题中,AlphaGeometry在比赛时间内解决了25个问题,而通常的人类金牌得主能解决25.9个。相比之下,此前最先进的AI系统只解决了其中的10个。

公报说,通过AlphaGeometry,研究团队展示了AI日益增长的逻辑推理能力,以及发现和验证新知识的能力。解决国际数学奥林匹克竞赛级别的几何问题,是在通往更先进和通用的AI系统的道路上发展深度数学推理的一个重要里程碑。研究团队正在开源AlphaGeometry代码和模型,并希望它与合成数据生成和训练中的其他工具和方法一起,推动数学和人工智能等领域的新发展。

相关论文已发表在英国《自然》杂志上。(完)

相关内容

热门资讯

哪里购买斗牛牛链接房卡/微信斗... 微信斗牛是一款非常受欢迎的棋牌游戏,咨询房/卡添加微信:15984933许多玩家在游戏中会购买房卡来...
金花房卡在哪里能弄到/微信怎样... 金花是一款非常受欢迎的棋牌游戏,咨询房/卡添加微信:44346008许多玩家在游戏中会购买房卡来享受...
金花房卡平台购买联系方式/牛牛... 牛牛是一款非常受欢迎的棋牌游戏,咨询房/卡添加微信:160470940许多玩家在游戏中会购买房卡来享...
怎样购买金花链接房卡/微信金花... 金花是一款非常受欢迎的棋牌游戏,咨询房/卡添加微信:160470940许多玩家在游戏中会购买房卡来享...
一分钟推荐“金花房卡一手货源/... 随意玩俱乐部是一款非常受欢迎的棋牌游戏,咨询房/卡添加微信:160470940许多玩家在游戏中会购买...
斗牛房间如何开启房卡/金花斗牛... 斗牛是一款非常受欢迎的棋牌游戏,咨询房/卡添加微信:15984933许多玩家在游戏中会购买房卡来享受...
正版金花房卡哪里有卖/微信牛牛... 牛牛是一款非常受欢迎的棋牌游戏,咨询房/卡添加微信:44346008许多玩家在游戏中会购买房卡来享受...
买房卡的金花房代理联系方式/金... 金花是一款非常受欢迎的棋牌游戏,咨询房/卡添加微信:160470940许多玩家在游戏中会购买房卡来享...
微信斗牛房卡怎么来的/金花链接... 微信斗牛是一款非常受欢迎的棋牌游戏,咨询房/卡添加微信:44346008许多玩家在游戏中会购买房卡来...
房卡必备教程“微信金花房卡怎么... 新漫游牛牛是一款非常受欢迎的棋牌游戏,咨询房/卡添加微信:160470940许多玩家在游戏中会购买房...
ia实测“金花房卡从哪里购买/... 天酷大厅是一款非常受欢迎的棋牌游戏,咨询房/卡添加微信:160470940许多玩家在游戏中会购买房卡...
微信金花房卡链接使用方法/微信... 牛牛是一款非常受欢迎的棋牌游戏,咨询房/卡添加微信:160470940许多玩家在游戏中会购买房卡来享...
成熟服务商vs自建:内网穿透远... 在企业或个人开发中,越来越多人选择在本地搭建NAS、服务器、测试环境或业务系统,以便更好地控制数据安...
微信斗牛房卡如何购买/牛牛链接... 微信斗牛是一款非常受欢迎的棋牌游戏,咨询房/卡添加微信:44346008许多玩家在游戏中会购买房卡来...
原创 华... 知名市调机构Dell'Oro发布的最新数据,2025 年上半年不仅终结了两年的下滑颓势,整体增长4%...
微信斗牛牛小程序叫什么/微信牛... 微信斗牛是一款非常受欢迎的棋牌游戏,咨询房/卡添加微信:15984933许多玩家在游戏中会购买房卡来...
ia实测“微信链接斗牛房卡多少... 乐酷大厅是一款非常受欢迎的棋牌游戏,咨询房/卡添加微信:15984933许多玩家在游戏中会购买房卡来...
正版授权“微信群牛牛房卡去哪买... 新漫游牛牛是一款非常受欢迎的棋牌游戏,咨询房/卡添加微信:160470940许多玩家在游戏中会购买房...
金花链接房卡在哪里弄/有没有玩... 金花是一款非常受欢迎的棋牌游戏,咨询房/卡添加微信:15984933许多玩家在游戏中会购买房卡来享受...
秒懂教程“牛牛链接房卡找谁购买... 新西部是一款非常受欢迎的棋牌游戏,咨询房/卡添加微信:160470940许多玩家在游戏中会购买房卡来...