国际最新研发一AI系统：能证明复杂数学理论

国际最新研发一AI系统：能证明复杂数学理论 编辑：付健青 广告等商务合作，请点击这里 本文为转载内容，授权事宜请联系原著作权人 中新经纬版权所有，未经书面授权，任何单位及个人不得转载、摘编或以其它方式使用。 关注中新经纬微信公众号(微信搜索"中新经纬"或"jwview")，看更多精彩财经资讯。 据研究团队介绍，AlphaProof为证明数学命题而设计，其在对8000万个命题进行自动形式化后，通过增 强学习找出这些证明方法，因此，AlphaProof被证明能提升之前先进AI系统在既往数学竞赛问题上的结 果。 2024年，在一项权威的高中水平数学竞赛——国际数学奥林匹克竞赛上，AlphaProof解出了竞赛的复杂 问题：在比赛过程中，AlphaProof联合名为AlphaGeometry的几何解题系统，解出6个竞赛问题中的4 个，取得相当于银牌水平的高分。 《自然》同期发表同行专家的"新闻与观点"文章指出，虽然AlphaProof在竞赛级数学推理领域的表现令 人惊艳，但它在求解其他形式难题上还存在一些局限性，建议作为未来的研究方向，而克服这些局限， 将使AlphaProof成为一个重要的复杂数学问题解题工具。(完 ...