AI has turned mathematics upside down.
On September 8, OpenAI announced a resolution of the Navier–Stokes existence and smoothness problem — one of the most famous outstanding problems in mathematics. Navier–Stokes was difficult enough to be designated one of the seven Millennium Prize Problems by the Clay Mathematics Institute in 2000, with each problem bearing a $1 million reward for a satisfactory answer.
h/t Mauser
