Google's DeepMind Says Its AI Can Tackle Math Olympiad Problems
AI models, trained on text, have historically struggled with math reasoning
Google’s researchers said that AI is far from being able to replace human mathematicians with its problem-solving capabilities.
Photographer: Gabby Jones/BloombergGoogle DeepMind, Alphabet Inc.’s artificial intelligence research division, said it has made strides in solving complex math problems, an area that remains challenging for today’s AI programs.
On Thursday, Google rolled out AlphaProof, which specializes in math reasoning, and AlphaGeometry 2, an updated version of a model focused on geometry that the company debuted earlier this year. The programs aced four of the six problems featured in the International Mathematical Olympiad, an annual competition in which students tackle topics such as algebra and geometry, Google said in a blog post.