Google 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.