谷歌AI系统解决几何问题水平接近奥数冠军
谷歌旗下人工智能公司“深层思维”近日发布公报称,谷歌该公司与美国纽约大学的系统研究人员合作开发的一种名为AlphaGeometry的人工智能(AI)系统,可以解决复杂的解决近奥军几何问题,其水平接近国际数学奥林匹克竞赛金牌得主,何问这是题水人工智能在性能上的突破。 证明数学定理是平接一项具有挑战性的工作,因此国际数学奥林匹克竞赛通常被认为是数冠识别相关人才的方法,同时也是谷歌AI在数学和推理领域的试验场。公报说,系统AI系统往往难以解决几何和数学中的解决近奥军复杂问题,而该研究团队开发的何问一种方法可生成大量的合成训练数据(1亿个独特的示例),能让AlphaGeometry在没有任何人工演示的题水情况下进行自我训练。此外,平接研究团队还添加了一个基于形式逻辑的数冠符号推演引擎,能让系统做出更“深思熟虑”的谷歌决策。 测试结果显示,在2000年到2022年国际数学奥林匹克竞赛汇编的30个几何问题中,AlphaGeometry在比赛时间内解决了25个问题,而通常的人类金牌得主能解决25.9个。相比之下,此前最先进的AI系统只解决了其中的10个。 公报说,通过AlphaGeometry,研究团队展示了AI日益增长的逻辑推理能力,以及发现和验证新知识的能力。解决国际数学奥林匹克竞赛级别的几何问题,是在通往更先进和通用的AI系统的道路上发展深度数学推理的一个重要里程碑。研究团队正在开源AlphaGeometry代码和模型,并希望它与合成数据生成和训练中的其他工具和方法一起,推动数学和人工智能等领域的新发展。 相关论文已发表在英国《自然》杂志上。
-
上一篇
-
下一篇
- 最近发表
- 随机阅读
-
- Marshall Major V体验:音质小幅提升 续航改进明显
- 连续五年打破“最热”纪录 全球海洋主要气候指标还有这些新变化→
- 北京朝阳区创建国家生态文明建设示范区成效显著
- 四川宜宾屏山:“四级联动”赋能传统工业向新型工业迈进
- 报告显示我国发明专利产业化率连续五年稳步提高
- 教育部:我国博士研究生超过61万人 成为高校科研生力军
- 科普一下
- 我国首套自主研发的10千伏不停电作业车并机并网控制器投用
- 我国研究人员发现6种植物新物种
- 连续五年打破“最热”纪录 全球海洋主要气候指标还有这些新变化→
- 力箭二号火箭计划2025年首飞 将发射低成本货运飞船
- 中车长客国家级工业设计中心揭牌
- 广州市“科创中国”成果转化基地百场路演启动
- 比尔·盖茨对话奥特曼:人工智能的可怕之处
- 在水中采摘?种子上过太空?国产蔓越莓知多少
- 在南极怎么盖房子?读完你就懂了→
- “次临界刻棒技术”完成国内首次工程应用
- 专注超宽带高精准定位技术的资深玩家
- 12800列!春运售票正式开始
- 渤海油田2023年油气产量创新高
- 搜索
-