Chapter

AI Solves Knot Theory Problem
listen on Spotify
1:09:40 - 1:12:51 (03:10)

An AI developed by researchers at the University of Liverpool has discovered a solution to the Conway knot problem, which had remained vexed to human mathematicians. The achievement highlights the potential for machine learning to aid and enhance mathematical and scientific research.

Clips
AI has surpassed the performance of grad students in solving complex theorems.
1:09:40 - 1:11:02 (01:21)
listen on Spotify
AI
Summary

AI has surpassed the performance of grad students in solving complex theorems. While attempts to train AI to prove complex theorems have not shown much promise, a new method has enabled the AI to solve such problems successfully.

Chapter
AI Solves Knot Theory Problem
Episode
#190 – Jordan Ellenberg: Mathematics of High-Dimensional Shapes and Geometries
Podcast
Lex Fridman Podcast
Knot theory is the study of mathematical knots, and one specific knot problem known as the Conway knot, vexed mathematicians for years until it was solved by Lisa Piccarillo.
1:11:02 - 1:12:51 (01:48)
listen on Spotify
Mathematics
Summary

Knot theory is the study of mathematical knots, and one specific knot problem known as the Conway knot, vexed mathematicians for years until it was solved by Lisa Piccarillo.

Chapter
AI Solves Knot Theory Problem
Episode
#190 – Jordan Ellenberg: Mathematics of High-Dimensional Shapes and Geometries
Podcast
Lex Fridman Podcast