只差一分！DeepMind最新数学AI在奥数竞赛中勇夺银牌；SpaceX公布猎鹰9号事故的原因 | 环球科学要闻

文章预览

环球科学 设为星标 周一至周五 第一时间掌握 最新鲜的全球科技资讯 ·  人工智能   · 只差一分！ DeepMind最新数学AI在奥数竞赛与金牌失之交臂 AlphaProof强化学习训练循环的流程信息图。图片来源：DeepMind 一年一度的国际奥林匹克数学竞赛（IMO）是最负盛名的高中数学竞赛，每年的IMO会设有6道代数、几何、数论以及组合学方面的题目。近来，IMO被认为是机器学习领域的一项重要挑战，可用于衡量人工智能（AI）系统的高级数学推理能力，这种能力对实现通用人工智能（AGI）很重要。Google的DeepMind公司在今年年初推出了AlphaGeometry，该模型擅长解决几何证明题，已逼近人类金牌选手的水平，但无法应对几何之外的代数、数论等问题。7月25日， DeepMind宣布推出基于强化学习、可用于形式数学推理的AlphaProof，以及改进后的几何证明模型AlphaGeometry 2。这两个 ………………………………