AI math: AlphaProof from DeepMind (Google)

 AI achieves silver-medal standard solving International Mathematical Olympiad problems - Google DeepMind

AlphaProof, a new reinforcement-learning based system for formal math reasoning, and AlphaGeometry 2, an improved version of our geometry-solving system. Together, these systems solved four out of six problems from this year’s International Mathematical Olympiad (IMO), achieving the same level as a silver medalist in the competition for the first time.

No Priors Ep. 90 | With Google's DeepMind's AlphaProof Team - YouTube

Google DeepMind's AlphaProof MASSIVE MATH BREAKTHROUGH - AI teaches itself mathematical proofs - YouTube