DeepMind's AI Nearly Clinched Gold at the International Mathematical Olympiad Artificial intelligence has taken a remarkable leap by matching the prowess of elite young mathematicians. DeepMind’s AlphaProof and AlphaGeometry 2 models recently performed at a silver-medal standar... AlphaGeometry AlphaProof artificial intelligence formal reasoning IMO machine learning mathematics problem-solving