Has AI really solved one of the hardest problems in mathematics? We talk to Professor Chris Budd OBE to find out.
On September 8th, 2026, OpenAI announced that one of its systems had solved the Navier-Stokes Millennium Problem. But has the problem really been solved? What exactly was the contribution of AI? And what does the advance of AI on mathematics mean for the field?
This summer has seen rapid advances in artificial intelligence solving hard, and iconic, mathematical problems. The developments are exciting to some mathematicians, but others worry about what they mean for the future of the field. This content looks at some of the questions AI has solved, how it can be a help, and what mathematicians have been discussing.
Mathematics as a family event? Listen to one family explain how they worked together to prove a new result in group theory.
How can computers best help mathematicians? Not through AI, says Kevin Buzzard, but through proof assistants. This podcast explains what they are and why they turn maths into a collaborative game of many players.
Human mathematicians make errors. Proof assistants are here to help and while they're at it they turn maths into a highly collaborative experience.
Should we allow mathematical proofs to contain errors? We find out from Avi Wigderson in our podcast series covering the European Congress of Mathematics 2024.
Find out how a story starting with the simple notion of counting ends in a revolutionary new way of doing maths that uses computers to harness the power of human collaboration!
How to sum an infinite series using chocolate.
