谷歌AI在IMO数学竞赛中获得银牌，使用了AlphaProof和AlphaGeometry 2两个系统。AlphaProof是自训练系统，用于证明数学陈述。AlphaGeometry 2是神经-符号混合系统，用于解决几何问题。AI系统在几分钟内解决了一个问题，其他问题花了三天时间。AI系统解决了两道代数题和一道数论题，但未解决两道组合问题。有人质疑其训练数据分布和计算资源的限制。