Google DeepMind's AI systems AlphaProof and AlphaGeometry2 achieved remarkable results in the International Mathematical Olympiad, winning silver medals and demonstrating astonishing capabilities in solving mathematical problems. AlphaGeometry2 solved a geometric problem in 19 seconds, surpassing the speed and accuracy of top human mathematicians. This achievement has been highly praised by legendary figures in the mathematics community, who believe it expands the boundaries of AI applications in the field of mathematics. Terence Tao noted that advances in AI will aid mathematical research.

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.

In the recently concluded International Mathematical Olympiad, Google's DeepMind AI systems, AlphaProof and AlphaGeometry2, showcased remarkable problem-solving abilities, finishing just one point shy of the championship while surpassing human competitors in speed and accuracy. The AI achieved perfect scores on four problems and solved one in an astonishing 19 seconds, adhering to mathematical competition standards with rigorous clarity. This com....