What’s the problem with AI doing mathematics
In September, an unreleased OpenAI model solved a maths problem that had been open for close to 90 years. It needed 88 hours.
The Navier-Stokes problem asks whether the equations that describe how fluids move always behave sensibly, or whether they can break down. It is one of seven Millennium Prize Problems set out in 2000, each carrying a million-dollar reward, and only one of them had been solved before.
