PYMNTS.com July 25, 2024
Google DeepMind introduced two new artificial intelligence (AI) models and said they correctly answered four out of six questions in a math competition that has become a benchmark measuring the capabilities of AI systems.
The new AI models are a reinforcement-learning based system for formal math reasoning called AlphaProof and a new version of the company’s geometry-solving system called AlphaGeometry 2, Google DeepMind said in a Thursday (July 25) press release.
“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,” the company said in the release.
The IMO, which is a competition for elite pre-college mathematicians, has become...