专栏名称: 人工智能学家
致力成为权威的人工智能科技媒体和前沿科技研究机构
今天看啥  ›  专栏  ›  人工智能学家

简评DeepMind新作“AlphaGeometry”

人工智能学家  · 公众号  · AI  · 2024-01-24 17:49

文章预览

图片由董彬老师用DALL-E生成 文 | 高国雄、姜杰东、董彬 八年前,横空出世的 AlphaGo 横扫围棋赛场,点燃了人工智能的热潮,也从根本上改变了围棋领域。近日,谷歌 Deepmind 团队一篇瞄准国际奥林匹克竞赛( IMO )几何题目的论文“ AlphaGeometry ” [文献1] 再度一石激起千层浪。国内外对此已有铺天盖地的报道与讨论,诸如“解决前沿数学问题指日可待”“奥赛金牌近在咫尺”等评价将大众对人工智能 解数学题的期许推上了新的高峰。本文将深度解读 AlphaGeometry ,简要分析其与之前最好的基准模型的差距,并对该模型的发展前景给 予评述。 1 模型概述 图1 欧氏几何题目因其规范的叙述和标准化的解题流程,是各类国内国际数学竞赛的“常客”。平面几何相比其他数学领域所具有的封闭性、简洁性、可验证性,也让它更适合机器证明。上世纪 七十 年 ………………………………

原文地址:访问原文地址
快照地址: 访问文章快照
总结与预览地址:访问总结与预览