品玩7月26日讯，据谷歌 Deepmind 官方消息，正规数学推理模型 AlphaProof 和改进版几何求解模型 AlphaGeometry 2共同解决了今年国际数学奥林匹克六道难题中的四道，首次达到了与银牌获得者相同的水平。

AlphaProof 通过确定答案并证明其正确性，解决了两个代数问题和一个数论问题。这其中包括比赛中最难的问题，在今年的 IMO 中只有五名选手解决了这一问题。AlphaGeometry 2 证明了几何问题，而两个组合问题仍未解决。

据悉，这两个 AI 系统最终获得了 28 分，每个问题都得到了满分，相当于银牌组的最高分。