"We designed a new language to talk about these new systems," Zardini says. This new diagram-based "language" is heavily based on something called category theory, he explains.

Google DeepMind has created an AI system that can solve complex geometry problems. It’s a significant step toward machines with more human-like reasoning skills, experts say.