谷歌AI系统解决几何问题水平接近奥数冠军
创始人
2024-01-23 18:18:45
0次
新华社北京1月22日电谷歌旗下人工智能公司“深层思维”近日发布公报称，该公司与美国纽约大学的研究人员合作开发的一种名为AlphaGeometry的人工智能（AI）系统，可以解决复杂的几何问题，其水平接近国际数学奥林匹克竞赛金牌得主，这是人工智能在性能上的突破。
证明数学定理是一项具有挑战性的工作，因此国际数学奥林匹克竞赛通常被认为是识别相关人才的方法，同时也是AI在数学和推理领域的试验场。公报说，AI系统往往难以解决几何和数学中的复杂问题，而该研究团队开发的一种方法可生成大量的合成训练数据（1亿个独特的示例），能让AlphaGeometry在没有任何人工演示的情况下进行自我训练。此外，研究团队还添加了一个基于形式逻辑的符号推演引擎，能让系统做出更“深思熟虑”的决策。
测试结果显示，在2000年到2022年国际数学奥林匹克竞赛汇编的30个几何问题中，AlphaGeometry在比赛时间内解决了25个问题，而通常的人类金牌得主能解决25.9个。相比之下，此前最先进的AI系统只解决了其中的10个。
公报说，通过AlphaGeometry，研究团队展示了AI日益增长的逻辑推理能力，以及发现和验证新知识的能力。解决国际数学奥林匹克竞赛级别的几何问题，是在通往更先进和通用的AI系统的道路上发展深度数学推理的一个重要里程碑。研究团队正在开源AlphaGeometry代码和模型，并希望它与合成数据生成和训练中的其他工具和方法一起，推动数学和人工智能等领域的新发展。
相关论文已发表在英国《自然》杂志上。
来源 新华社
编辑 孟紫薇
流程编辑 刘伟利
相关内容
热门资讯
银河系与仙女座星系，真的会碰撞...
最近，天文学界有个挺让人意外的研究冒出来了。一直以来，我们都觉得银河系和仙女座星系在未来肯定得撞一块...
我国成功开展首例侵入式脑机接口...
本文转自【央视新闻客户端】； 近日，中国科学院脑科学与智能技术卓越创新中心联合复旦大学附属华山医院，...
机器人技术出海迎来关键一步：康...
2025 年 6 月 12 日，智能装备制造与全球供应链运营平台型企业康迪科技（NASDAQ: KN...
国盛智科获得发明专利授权：“一...
证券之星消息，根据天眼查APP数据显示国盛智科（688558）新获得一项发明专利授权，专利名为“一种...
同时处理海量任务！量子计算带来...
《经济参考报》6月11日刊发记者袁小康采写的文章《科技未来时丨同时处理海量任务！量子计算带来算力新解...
巨鲨医疗—— 从商贸代理到自主...
走进南京巨鲨显示科技有限公司（以下简称“巨鲨医疗”）产品展示厅，宽敞明亮的数字智能联合手术室里一尘不...
天元股份获得实用新型专利授权：...
证券之星消息，根据天眼查APP数据显示天元股份（003003）新获得一项实用新型专利授权，专利名为“...
熙达生物取得一种高活性磷脂萃取...
金融界2025年6月14日消息，国家知识产权局信息显示，浙江熙达生物科技有限公司取得一项名为“一种高...
还原哪吒员工讨薪8小时：总部借...
员工围堵高管的情景再次出现，只不过哪吒员工这次没有极越“幸运”。八个小时交涉下来，诉求依然没有得到正...
XD拓普集获得发明专利授权：“...
证券之星消息，根据天眼查APP数据显示XD拓普集（601689）新获得一项发明专利授权，专利名为“一...
“普惠智检”东莞站 | 助力检...
转自：普门科技 为推进临床实验室标准化与智慧化建设，促进检验医学高质量发展，探索人工智能（AI）技术...
山东泰开取得斜顶礼帽型变压器运...
金融界2025年6月13日消息，国家知识产权局信息显示，山东泰开变压器有限公司取得一项名为“一种斜顶...
俄罗斯为什么会产生如此多的科学...
俄罗斯和中国的历史有许多相似之处，两国在历史上都长期是专制统治，并且根深蒂固。两国面积非常大，长期是...
原创 6...
由于有国补，再加上各种优惠，今年618手机的价格要比以往哪一年都要便宜，中端手机原本2千多元的价格，...
第一创业证券：华为Pura80...
财中社6月13日电第一创业证券发表研究报告称，6月11日下午，华为新产品发布会上发布了Pura 80...
重庆奔速彩印取得纸盒粘角机专利...
金融界2025年6月13日消息，国家知识产权局信息显示，重庆奔速彩印有限公司取得一项名为“一种纸盒粘...
储能软件大比拼：谁是新能源高效...
随着新能源产业的蓬勃发展，储能技术作为破解新能源发电不稳定性的重要钥匙，其科学配置与高效利用正成为业...
5G基站覆盖所有县级行政区提升...
在我国广袤的土地上，一项具有里程碑意义的通信工程正稳步推进——5G基站全面覆盖所有县级行政区，这一举...
淘宝京东流量见顶，唯品会靠奢品...
出品｜搜狐科技 作者｜汉雨棣 编辑｜杨锦 2025年的618异常冷清。随着“满减”和“凑单”的退出，...
工商银行获得发明专利授权：“人...
证券之星消息，根据天眼查APP数据显示工商银行（601398）新获得一项发明专利授权，专利名为“人机...