Google claims math breakthrough with proof-solving AI models

AlphaProof and AlphaGeometry 2 solve problems, with caveats on time and human assistance.