Google rolled out AlphaProof, which specializes in math reasoning, and AlphaGeometry 2. 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. It is an updated version of a model focused on geometry that the company debuted earlier this year.