DeepMind, the Google AI R&D lab, believes that the key to more capable AI systems might lie in uncovering new ways to solve challenging geometry problems. To that end, DeepMind today unveiled ...

An artificial-intelligence (AI) tool can rigorously prove whether geometric facts — statements about two-dimensional shapes such as triangles or polygons — are true, just as well as competitors in the ...

Introducing new math concepts via already-worked examples can give students a significant boost in learning. But choosing the right problems makes a big difference. An analysis earlier this year of ...

Its performance matches the smartest high school mathematicians and is much stronger than the previous state-of-the-art system. Google DeepMind has created an AI system that can solve complex geometry ...