Meet AlphaProof and AlphaGeometry2: The new AI mathematician overtaking humans?

As artificial intelligence (AI) models continue to develop, Google announces that two two AI systems from Google DeepMind together solved four of the six problems in this year’s International Mathematical Olympiad. According to Google the AI systems competed with two silver medalists high school students, eventually beating them.