5:16supplementary video · Numberphile on YouTube ↗
science & techanalysisThe Conversation (UK)
AI could transform mathematics, but humans will still need to be in the loop
OpenAI recently announced that one of its AI models had solved the Navier-Stokes problem, one of the hardest in modern mathematics. The Navier-Stokes equations describe how fluids such as water and air move, and are essential for understanding ocean currents, blood circulation and airflow over aircraft wings. Mathematicians have struggled for decades to determine whether coherent solutions always exist, and the problem is one of seven Millennium Prize Problems set by the Clay Mathematics Institute. AI solutions to long-standing problems have shaken the field, but experts say humans must still check the work and guide the research.
If confirmed, it would change how maths is done, although verifying proofs and deciding what's worth solving remain human tasks.
Only one Millennium Prize Problem, the Poincare conjecture, has been solved so far.
The Conversation
