https://www.nature.com/articles/d41586-021-03593-1 Skip to main content Thank you for visiting nature.com. You are using a browser version with limited support for CSS. To obtain the best experience, we recommend you use a more up to date browser (or turn off compatibility mode in Internet Explorer). In the meantime, to ensure continued support, we are displaying the site without styles and JavaScript. Advertisement Advertisement Nature * View all journals * Search * My Account Login * Explore content * About the journal * Publish with us Subscribe * Sign up for alerts * RSS feed 1. nature 2. news 3. article * NEWS * 01 December 2021 DeepMind's AI helps untangle the mathematics of knots The machine-learning techniques could benefit other areas of maths that involve large data sets. * Davide Castelvecchi 1. Davide Castelvecchi View author publications You can also search for this author in PubMed Google Scholar * Twitter * Facebook * Email You have full access to this article via your institution. Download PDF Download PDF Animated gif of a moving knot Knot theorists proved the validity of a mathematical formula about knots after using machine learning to guess what the formula should be.Credit: DeepMind For the first time, machine learning has spotted mathematical connections that humans had missed. Researchers at artificial-intelligence powerhouse DeepMind, based in London, teamed up with mathematicians to tackle two separate problems -- one in the theory of knots and the other in the study of symmetries. In both cases, AI techniques helped the researchers discover new patterns that could then be investigated using conventional methods. "I was very struck at just how useful the machine-learning tools could be as a guide for intuition," says Marc Lackenby at the University of Oxford, UK, one of the mathematicians who took part in the study. "I was not expecting to have some of my preconceptions turned on their head." [d41586-021] AI maths whiz creates tough new problems for humans to solve Computer simulations and visualizations of knots and other objects have long helped mathematicians to look for patterns and develop their intuition, says Jeffrey Weeks, a mathematician based in Canton, New York, who has pioneered some of those techniques since the 1980s. But, he adds, "Getting the computer to seek out patterns takes the research process to a qualitatively different level." The authors say the approach, described in a paper in the 2 December issue of Nature^1, could benefit other areas of maths that involve large data sets. Maths versus machine DeepMind, a sister company of Google, has made headlines with breakthroughs such as cracking the game Go, but its long-term focus has been scientific applications such as predicting how proteins fold . The idea for a maths collaboration was sparked by a casual conversation in 2019 between mathematician Geordie Williamson at the University of Sydney in Australia and DeepMind's chief executive, neuroscientist Demis Hassabis. Lackenby and a colleague at Oxford, Andras Juhasz, both knot theorists, soon joined the project. Initially, the work focused on identifying mathematical problems that could be attacked using DeepMind's technology. Machine learning enables computers to feed on large data sets and make guesses, such as matching a surveillance-camera image to a known face from a database of photographs. But its answers are inherently probabilistic, and mathematical proofs require certainty. [d41586-021] DeepMind's AI predicts structures for a vast trove of proteins But the team reasoned that machine learning could help to detect patterns, such as the relationship between two types of object. Mathematicians could then try to work out the precise relationship by formulating what they call a conjecture, and then attempting to write a rigorous proof that turns that statement into a certainty. Because machine learning requires lots of data to train on, one requirement was to be able to calculate properties for large numbers of objects: in the case of knots, the team calculated several properties, called invariants, for millions of different knots. The researchers then moved on to working out which AI technique would be most helpful for finding a pattern that linked two properties. One technique in particular, called saliency maps, turned out to be especially helpful. It is often used in computer vision to identify which parts of an image carry the most-relevant information. Saliency maps pointed to knot properties that were likely to be linked to each other, and generated a formula that seemed to be correct in all cases that could be tested. Lackenby and Juhasz then provided a rigorous proof that the formula applied to a very large class of knots^2. "The fact that the authors have proven that these invariants are related, and in a remarkably direct way, shows us that there is something very fundamental that we in the field have yet to fully understand," says Mark Brittenham, a knot theorist at the University of Nebraska-Lincoln who frequently uses computational techniques. Brittenham adds that although machine learning has been used in knot theory before, the authors' technique is novel in its ability to discover surprising connections. Solving symmetries Williamson focused on a separate problem, regarding symmetries. Symmetries that switch around finite sets of objects have an important role in several branches of maths, and mathematicians have long studied them using various tools, including graphs -- large abstract networks linking thousands of nodes -- and algebraic expressions called polynomials. For decades, researchers have suspected that it would be possible to calculate the polynomials from the networks, but guessing how to do it seemed like a hopeless task, Williamson says. "Very quickly, the graph becomes beyond human comprehension." AI Copernicus 'discovers' that Earth orbits the Sun With the computer's help, he and the rest of the team noticed that it should be possible to break down the graph into smaller, more-manageable parts, one of which has the structure of a higher-dimensional cube. This gave Williamson a solid conjecture to work on for the first time. "I was just blown away by how powerful this stuff is," says Williamson. Once the algorithm zeroed in on a pattern, it was able to guess very precisely which graphs and polynomials came from the same symmetries. "How quickly the models were getting accuracy -- that for me was just shocking," he says. "I think I spent basically a year in the darkness just feeling the computers knew something that I didn't." Whether Williamson's conjecture will prove true is still an open question. Conjectures sometimes take a long time for the mathematical community to crack, but they can help to shape entire fields. Wider applications Throughout the project, the researchers had to tailor the AI techniques to the two different mathematical problems, says Alex Davies, a computer scientist at DeepMind. "We did not originally expect these to be the most useful techniques," he says. "Any area of mathematics where sufficiently large data sets can be generated could benefit from this approach," says Juhasz, adding that the techniques they demonstrated could also find applications in fields such as biology or economics. [d41586-021] Abel Prize celebrates union of mathematics and computer science Adam Zsolt Wagner, a mathematician at Tel Aviv University, Israel, who has used machine learning, says that the authors' methods could prove valuable for certain kinds of problems. "Without this tool, the mathematician might waste weeks or months trying to prove a formula or theorem that would ultimately turn out to be false." But he adds that it is unclear how broad its impact will be. At a press conference, Davies told reporters that the project has given him a "real appreciation" for the nature of mathematical research. Learning maths at school is akin to playing scales on a piano, he added, whereas real mathematicians' work is more like jazz improvisations. Williamson agrees that the work highlights a more exciting aspect of maths than people normally see. "As mathematical researchers, we live in a world that is rich with intuition and imaginations," he says. "Computers so far have served the dry side. The reason I love this work so much is that they are helping with the other side." "My personal guess is that computer-generated conjectures will become ever more useful in 'filling in the details', but will never replace human intuition and creativity," says Weeks. Nature 600, 202 (2021) doi: https://doi.org/10.1038/d41586-021-03593-1 References 1. 1. Davies, A. et al. Nature 600, 70-74 (2021). Article Google Scholar 2. 2. Davies, A., Juhasz, A., Lackenby, M. & Tomasev, N. Preprint at https://arxiv.org/abs/2111.15323 (2021). Download references Related Articles * [d41586-021] DeepMind's AI predicts structures for a vast trove of proteins * [d41586-021] AI maths whiz creates tough new problems for humans to solve * AI Copernicus 'discovers' that Earth orbits the Sun * [d41586-021] Abel Prize celebrates union of mathematics and computer science * Mathematicians welcome computer-assisted proof in 'grand unification' theory Subjects * Mathematics and computing * Computer science * Machine learning Latest on: Mathematics and computing DeepMind AI tackles one of chemistry's most valuable techniques DeepMind AI tackles one of chemistry's most valuable techniques News 10 DEC 21 Unrepresentative big surveys significantly overestimated US vaccine uptake Unrepresentative big surveys significantly overestimated US vaccine uptake Article 08 DEC 21 How remouldable computer hardware is speeding up science How remouldable computer hardware is speeding up science Technology Feature 07 DEC 21 Computer science How remouldable computer hardware is speeding up science How remouldable computer hardware is speeding up science Technology Feature 07 DEC 21 Advancing mathematics by guiding human intuition with AI Advancing mathematics by guiding human intuition with AI Article 01 DEC 21 Quantifying social organization and political polarization in online platforms Quantifying social organization and political polarization in online platforms Article 01 DEC 21 Machine learning DeepMind AI tackles one of chemistry's most valuable techniques DeepMind AI tackles one of chemistry's most valuable techniques News 10 DEC 21 AI mathematician and a planetary diet -- the week in infographics AI mathematician and a planetary diet -- the week in infographics News 03 DEC 21 Artificial intelligence aids intuition in mathematical discovery Artificial intelligence aids intuition in mathematical discovery News & Views 01 DEC 21 Nature Careers Jobs * Associate/Senior Editor, Nature Immunology Springer Nature London, Greater London, United Kingdom * Locum Associate/Senior Editor Nature Communications (Clinical cancer research or cancer therapy) Springer Nature London, Greater London, United Kingdom * Assistant Professor, Molecular Virology University of Toronto (U of T) Toronto, Ontario, Canada * POSTDOCTORAL RESEARCH SCIENTIST Columbia University in the City of New York (CU) New York, NY, United States You have full access to this article via your institution. Download PDF Download PDF Related Articles * [d41586-021] DeepMind's AI predicts structures for a vast trove of proteins * [d41586-021] AI maths whiz creates tough new problems for humans to solve * AI Copernicus 'discovers' that Earth orbits the Sun * [d41586-021] Abel Prize celebrates union of mathematics and computer science * Mathematicians welcome computer-assisted proof in 'grand unification' theory Subjects * Mathematics and computing * Computer science * Machine learning Advertisement Sign up to Nature Briefing An essential round-up of science news, opinion and analysis, delivered to your inbox every weekday. Email address [ ] [ ] Yes! Sign me up to receive the daily Nature Briefing email. I agree my information will be processed in accordance with the Nature and Springer Nature Limited Privacy Policy. Sign up * Close Nature Briefing Sign up for the Nature Briefing newsletter -- what matters in science, free to your inbox daily. Email address [ ] Sign up [ ] I agree my information will be processed in accordance with the Nature and Springer Nature Limited Privacy Policy. Close Get the most important science stories of the day, free in your inbox. Sign up for Nature Briefing Explore content * Research articles * News * Opinion * Research Analysis * Careers * Books & Culture * Podcasts * Videos * Current issue * Browse issues * Collections * Subjects * Follow us on Facebook * Follow us on Twitter * Subscribe * Sign up for alerts * RSS feed About the journal * Journal Staff * About the Editors * Journal Information * Our publishing models * Editorial Values Statement * Awards * Journal Impact * Contact * Editorial policies * History of Nature * Send a news tip Publish with us * For Authors * For Referees * Submit manuscript Search Search articles by subject, keyword or author [ ] Show results from [All journals] Search Advanced search Quick links * Explore articles by subject * Find a job * Guide to authors * Editorial policies Nature (Nature) ISSN 1476-4687 (online) ISSN 0028-0836 (print) nature.com sitemap Nature portfolio * About us * Press releases * Press office * Contact us * * * Discover content * Journals A-Z * Articles by subject * Nano * Protocol Exchange * Nature Index Publishing policies * Nature portfolio policies * Open access Author & Researcher services * Reprints & permissions * Research data * Language editing * Scientific editing * Nature Masterclasses * Nature Research Academies Libraries & institutions * Librarian service & tools * Librarian portal * Open research * Recommend to library Advertising & partnerships * Advertising * Partnerships & Services * Media kits * Branded content Career development * Nature Careers * Nature Conferences * Nature events Regional websites * Nature Africa * Nature China * Nature India * Nature Italy * Nature Japan * Nature Korea * Nature Middle East Legal & Privacy * Privacy Policy * Use of cookies * Manage cookies/Do not sell my data * Legal notice * Accessibility statement * Terms & Conditions * California Privacy Statement Springer Nature (c) 2021 Springer Nature Limited