DeepMind, the brainy Google-owned company that makes super-smart AI, has created a system that can crack hard geometry problems. It's a huge leap for machines that can think like humans, experts say.