Google DeepMind开发的数学推理AI系统,AlphaProof和AlphaGeometry 2在2024年国际数学奥林匹克竞赛中解决了6道题中的4道,达到了银牌水平