Working with two teams of mathematicians, DeepMind engineered an algorithm that can look across different mathematical fields and spot connections that previously escaped the human mind. The AI doesn’t do all the work—when fed sufficient data, it finds patterns. These patterns are then passed on to human mathematicians to guide their intuition and creativity towards new laws of nature.

“I was not expecting to have some of my preconceptions turned on their head,” said Dr. Marc Lackenby at the University of Oxford, one of the scientists collaborating with DeepMind, to Nature, where the study was published.

The AI comes just a few months after DeepMind’s previous triumph in solving a 50-year-old challenge in biology. This is different. For the first time, machine learning is aiming at the core of mathematics—a science for spotting patterns that eventually leads to formally-proven ideas, or theorems, about how our world works. It also emphasized collaboration between machine and man in bridging observations to working theorems.