谷歌AI系统解决几何问题水平接近奥数冠军
谷歌旗下人工智能公司“深层思维”近日发布公报称,谷歌该公司与美国纽约大学的系统研究人员合作开发的一种名为AlphaGeometry的人工智能(AI)系统,可以解决复杂的解决近奥军几何问题,其水平接近国际数学奥林匹克竞赛金牌得主,何问这是题水人工智能在性能上的突破。 证明数学定理是平接一项具有挑战性的工作,因此国际数学奥林匹克竞赛通常被认为是数冠识别相关人才的方法,同时也是谷歌AI在数学和推理领域的试验场。公报说,系统AI系统往往难以解决几何和数学中的解决近奥军复杂问题,而该研究团队开发的何问一种方法可生成大量的合成训练数据(1亿个独特的示例),能让AlphaGeometry在没有任何人工演示的题水情况下进行自我训练。此外,平接研究团队还添加了一个基于形式逻辑的数冠符号推演引擎,能让系统做出更“深思熟虑”的谷歌决策。 测试结果显示,在2000年到2022年国际数学奥林匹克竞赛汇编的30个几何问题中,AlphaGeometry在比赛时间内解决了25个问题,而通常的人类金牌得主能解决25.9个。相比之下,此前最先进的AI系统只解决了其中的10个。 公报说,通过AlphaGeometry,研究团队展示了AI日益增长的逻辑推理能力,以及发现和验证新知识的能力。解决国际数学奥林匹克竞赛级别的几何问题,是在通往更先进和通用的AI系统的道路上发展深度数学推理的一个重要里程碑。研究团队正在开源AlphaGeometry代码和模型,并希望它与合成数据生成和训练中的其他工具和方法一起,推动数学和人工智能等领域的新发展。 相关论文已发表在英国《自然》杂志上。
-
上一篇
-
下一篇
- 最近发表
- 随机阅读
-
- 科学新发现|人类还有鳃吗?
- 我国科学家重建1亿年前蚂蚁捕猎过程
- 国家热带农业科学中心科技创新平台入驻崖州湾科技城
- 《自然》发文称用BMI衡量肥胖有缺陷 专家:质疑是好现象
- 近危物种亚历山大鹦鹉现身云南龙陵
- “章子怡汪峰离婚”相关话题登上热搜,盘点汪峰章子怡商业版图
- 山东青岛:外国友人体验传统文化迎重阳
- 脑波控制 智能仿生手点燃杭州亚残运会主火炬
- 青岛自贸片区:16个重点项目集中开工
- “一带一路”科普展|一串珠链,能展现什么样的魔法?
- 2023世界物联网博览会在江苏无锡举办
- 国内首座“碳中和”原油库落地
- 春节假期全国投递快递包裹超6.41亿件
- 长城汽车总裁穆峰谈欧盟反补贴调查:已提交应对材料 坚定全球化发展
- 细胞生态海河实验室实验动物中心全面启动试运行
- 全球首个港口大模型PortGPT联合研发启动
- 铁路等部门守护春运平安顺畅出行路
- 科普一下丨“屁股针”为何现在很少见?
- 封面新闻丨规模创新高!第六届进博会将全面线下举办
- 西藏“珠峰英才”计划启动 将为高质量发展提供人才支撑
- 搜索
-