谷歌AI拿下IMO银牌,仅差一分得金!第四题仅用时19秒
原文中文,约2900字,阅读约需7分钟。发表于: 。组委亲自认证,最难第六题也对了
谷歌AI在IMO数学竞赛中获得银牌,使用了AlphaProof和AlphaGeometry 2两个系统。AlphaProof是自训练系统,用于证明数学陈述。AlphaGeometry 2是神经-符号混合系统,用于解决几何问题。AI系统在几分钟内解决了一个问题,其他问题花了三天时间。AI系统解决了两道代数题和一道数论题,但未解决两道组合问题。有人质疑其训练数据分布和计算资源的限制。