Breakthrough models AlphaProof and AlphaGeometry 2 solve advanced reasoning problems in mathematicsArtificial general intelligence (AGI) with advanced mathematical reasoning has the potential to unlock new frontiers in science and technology.We’ve made great progress building AI systems that help mathematicians discover new insights, novel algorithms and answers to open problems. But current AI systems still struggle with solving general math problems because of limitations in reasoning skills a...