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?
AI has recently solved some very hard maths problems. Did AI really do this on its own? What does it mean for the future of mathematics? And how should the maths community respond?
There's been an announcement that an AI system solved one of the most famous problems in maths. Here's a quick look at the problem and why the announcement is significant.
Yu Deng won a Fields Medal for work that addresses a grand mathematical dream.
This year's Abel Prize goes to Luis A. Caffarelli for a body of work on the maths of change.
How does your phone know what the weather's going to be like?
