Clay Institute says Navier-Stokes Millennium Prize problem apparently settled by AI
The Clay Mathematics Institute has indicated that the Navier-Stokes existence and smoothness problem, one of its seven $1 million Millennium Prize Problems, appears to have been resolved, reportedly with the help of AI. The institute says a formal verification process is now underway and stresses that its review procedure deliberately takes time. No prize determination has been made yet.