By Shelly Fan
With his telescope, Galileo gathered a vast trove of observations on celestial objects. With his mind, he found patterns in that universe of data, creating theories on motion and mechanics that paved the way for modern science.
Using AI, DeepMind just gave mathematicians a new telescope.
Working with two teams of mathematicians, DeepMind engineered an algorithmthat 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.
Continue reading… “How DeepMind’s AI Helped Crack Two Mathematical Puzzles That Stumped Humans for Decades”