DeepMind & Mathematicians Use AI To Solve The Knot Problem

deepmind knot problem

“The great advances in mathematics have not been made by logic but by creative imagination.”

–George Frederick James Temple

DeepMind collaborated with two mathematicians – one from the University of Sydney and the other from the University of Oxford, who used AI to tackle two mathematical problems. One is the theory of knots, and the other is the study of symmetry. AI helped the researchers discover new patterns which can be investigated using conventional methods.

This is considered a breakthrough because, although computer simulations and visualisations of knots and other objects have helped mathematicians recognise patterns and develop their intuition in the past, it is the first time that AI/computer is being used to seek out patterns. Researchers believe that this could benefit other areas of maths that involve large datasets.


Sign up for your weekly dose of what's up in emerging technology.

How did the collaboration come about

In 2019, mathematician Geordie Williamson met DeepMind’s Demi Hassabis at the University of Sydney in Australia. Their conversation soon steered to collaborating for maths-related research. Marc Lackenby of the University of Sydney and a colleague at Oxford, Andras Juhasz, soon joined the project. Both Lackenby and Juhasz are knot theorists. 

When the team first started on the project, they concentrated on identifying mathematical problems that could be solved using DeepMind’s existing technologies. Machine learning could help in detecting patterns (like relationships between two objects), and mathematicians would then work out the exact relationship between the objects by formulating a conjecture. They could follow that by writing proof that turns that statement into a certainty. Prof Williamson used DeepMind’s AI to prove an old conjecture about the Kazhdan-Lusztig polynomials, which was unsolved for 40 years. Lackenby and Juhasz took this a little further, which led them to discover a previously unknown connection between algebraic and geometric invariants of knots. This helped in establishing a new mathematical theorem.

Download our Mobile App

Credit: DeepMind

Invariants in knot theory are used to address the problem of distinguishing one knot from another. They also help mathematicians in understanding the properties of knots and how that related to other mathematics branches. Knots help in understanding varied aspects of fields like quantum field theory and non-Euclidean geometry. In fact, the relationship between algebra, geometry, and quantum theory is a long-standing challenge. The team has trained an ML model to discover such a pattern. This revealed the ‘signature’ – it is a particular algebraic quantity that is directly related to the geometry of the knot. By using attribution techniques from ML, the researchers were able to discover a new quantity called the natural slope. It hints at an important structural aspect that has remained undiscovered till now. They were then able to prove the exact nature of the relationship.

Credit: DeepMind

Wrapping up

The discovery of patterns and formulation of useful conjectures are the main pillars of mathematical progress. Mathematicians have often relied on data for this process – from the early hand-calculated prime tables that Gauss and others used (that eventually led to prime number theorems) to modern computer-generated data (such as Birch and Swinnerton-Dyer conjecture).

With computers generating data and test conjectures, mathematicians now have a new understanding of problems that were previously inaccessible. While computational techniques have become useful in other parts of the mathematical process, AI systems have not yet established such space. Previously, systems have generated conjectures that have either contributed sufficiently to researchers that do not easily generalise to other mathematical areas or have demonstrated novel methods that have given mathematically valuable results.

This new research proves that AI systems hold great potential for identifying and discovering patterns in mathematics. With this, DeepMind hopes that this research will help researchers look at AI as an important tool to solve challenges in pure maths. DeepMind has also released interactive notebooks to replicate results.

Read the paper here.

Support independent technology journalism

Get exclusive, premium content, ads-free experience & more

Rs. 299/month

Subscribe now for a 7-day free trial

More Great AIM Stories

Shraddha Goled
I am a technology journalist with AIM. I write stories focused on the AI landscape in India and around the world with a special interest in analysing its long term impact on individuals and societies. Reach out to me at

AIM Upcoming Events

Early Bird Passes expire on 3rd Feb

Conference, in-person (Bangalore)
Rising 2023 | Women in Tech Conference
16-17th Mar, 2023

Conference, in-person (Bangalore)
Data Engineering Summit (DES) 2023
27-28th Apr, 2023

3 Ways to Join our Community

Telegram group

Discover special offers, top stories, upcoming events, and more.

Discord Server

Stay Connected with a larger ecosystem of data science and ML Professionals

Subscribe to our Daily newsletter

Get our daily awesome stories & videos in your inbox

All you need to know about Graph Embeddings

Embeddings can be the subgroups of a group, similarly, in graph theory embedding of a graph can be considered as a representation of a graph on a surface, where points of that surface are made up of vertices and arcs are made up of edges