Google has created a new AI system that is able to solve complex geometry problems, the company says.
Geometry is specifically challenging for AI systems to understand because of a lack of data.
Therefore, Google’s AI models were trained with language data, ingested by synthesising millions of theorems.