谷歌 DeepMind 推出 AlphaGeometry:奥林匹克级几何AI系统
站长网2024-01-22 15:32:120阅
谷歌旗下的DeepMind研究团队最近推出了名为AlphaGeometry的人工智能系统,该系统在解决几何奥林匹克问题方面表现出色,几乎可与人类金牌得主相媲美。这一成就代表着在大学预科数学困难领域中复杂自动推理能力的显著进步。
几何奥林匹克问题一直以来都被认为是人类层面思考的标准,由于其难度,人工智能在这一领域的应用一直面临挑战,尤其是由于缺乏足够的训练数据。然而,AlphaGeometry的研发团队采用了创新性的方法,通过综合数百万个不同复杂程度的定理和证明,构建了大型数据集进行训练,从而克服了这一问题。
AlphaGeometry专为欧几里得平面几何设计,采用了神经语言模型和符号推演引擎的独特组合。通过创建合成数据进行训练,该系统可以从头开始完全训练,使其能够在数学定理证明方面表现卓越。
在IMO-AG-30基准测试中,该系统在30个经典几何问题中获得了25个问题的成功率,超过了基线,展示了其解决复杂几何问题的能力。AlphaGeometry生成人类可读的证明,提高了答案的可解释性,同时在解决国际数学奥林匹克竞赛(IMO)中的问题方面取得了与金牌得主相媲美的水平。
AlphaGeometry的发布标志着在计算机程序领域中首次实现了比IMO平均候选程序更有效地证明欧几里得平面几何定理的突破,推动了数学竞赛顶峰推理的自动化。
地址:https://github.com/google-deepmind/alphageometry?tab=readme-ov-file
0000
评论列表
共(0)条相关推荐
微软警告可能“限制”过度使用其生成式人工智能服务的用户
划重点:微软更新了其在线服务条款和条件,警告“过量”使用其生成式人工智能服务的用户可能会受到访问限制。更新后的条款没有明确说明“过度使用”和“限制”会持续多长时间,或者限制期间会发生什么。微软可能会限制人工智能的使用,因为其人工智能架构存在瓶颈,需要节省成本。站长网2023-11-02 15:27:160000谷歌 I/O 2023 重点是 AI:Android 14 在主题演讲中仅被提及一次
谷歌I/O2023有一个非常明确的重点——人工智能。SundarPichai对AI的介绍包括有关PaLM2,Google相册中的新「魔术编辑器」等的公告。GoogleBard也有扩展,并在GoogleWorkspace产品(Docs,Gmail等)和搜索中预览生成AI。站长网2023-05-15 16:01:390001vivo自研蓝心大模型中文能力第一:已覆盖超2000万用户
快科技3月26日消息,vivo新品发布会今晚如期举行,为大家带来了vivoXFold3系列折叠屏手机。据官方介绍,vivo自研蓝心大模型发布五个月,在权威榜单中依然保持中文能力第一,vivo自研蓝心大模型在手机行业首个荣获信通院4星可信AI大模型”认证,已覆盖超2000万用户。vivo自研蓝心大模型经历了六年研究,覆盖了亿、百亿、千亿三个参数量级,全面覆盖了目前应用的核心场景。0001工信部:今年我国生成式人工智能市场规模将突破10万亿
据央视新闻报道,据工业和信息化部赛迪研究院数据显示,今年,我国生成式人工智能市场规模有望突破10万亿元。生成式人工智能正在加速渗透制造业、零售业、电信行业和医疗健康等四大行业。图源备注:图片由AI生成,图片授权服务商Midjourney0000理想汽车11月共交付新车41030辆 同比增长172.9%
刚刚,理想汽车公布2023年11月交付数据。数据显示,2023年11月,理想汽车交付新车41,030辆,同比增长172.9%。截至2023年11月30日,理想汽车全年累计交付325,677辆,提前达成2023年30万辆销量目标。此外,截至2023年11月30日,理想汽车在全国已有398家零售中心,覆盖136个城市;售后维修中心及授权钣喷中心320家,覆盖209个城市。站长网2023-12-01 16:53:010000