“DeepMind's AI system for solving geometry problems.”

“you see like the you know alpha proof and alpha geometry and a bunch of stuff that we did on uh in with custom models in those areas”

“A system developed by DeepMind for solving geometry problems, achieving high scores in Olympiads.”

“Google DeepMind AI system for solving geometry problems.”