Google DeepMind's mathematical artificial intelligence model has made significant progress in this year's International Mathematical Olympiad (IMO). According to official reports, the formal mathematical reasoning model AlphaProof and the improved geometric solving model AlphaGeometry2 successfully tackled four out of the six challenging problems in this year's IMO, reaching levels comparable to that of human silver medalists for the first time.