DeepMind introduced two new AI models called AlphaProof and AlphaGeometry 2, which demonstrated their capabilities by solving four out of six questions at the 2024 International Math Olympiad, a prestigious competition for high school students 
. These AI models represent a step forward in addressing the limitations of current AI models