Bloomberg:
Google DeepMind rolls out AlphaProof AI model, which specializes in math reasoning, and AlphaGeometry 2, an updated version of a model focused on geometry — AI models, trained on text, have historically struggled with math reasoning — Google DeepMind, Alphabet Inc.'s artificial …