Google DeepMind's Game-Playing AI Tackles a Chatbot BlindspotGoogle has developed AlphaProof, combining language models and AI to solve math problems from the International Math Olympiad.