2024 年 7 月 25 日评测 AlphaProof 与 AlphaGeometry 2 达到国际数学奥赛银牌水平 谷歌 DeepMind(Google DeepMind)AlphaGeometryAlphaProof