AI-powered
podcast player
Listen to all your favourite podcasts with AI-powered features
The Conway Knot, a Book Review
So far attempts to get AIs to prove interesting theorems have not done so well. But there is a way, okay, we're gonna go back to knots. It's actually very hard to compute whether a knot is slice or not. The question of the Conway knot was particularly vexed until it was solved just a few years ago by Lisa Picarillo.