Google latest models prove AI doesn't have to suck at mathAI models AlphaProof and AlphaGeometry 2 developed by Google DeepMind for mathematical problem-solving.