Thoughts a day after Navier-Stokes.
The anti-hype take: mathematicians devised a promising strategy and the last mile turned out to be well-suited to AI.
The usual pro-hype take is “progress is fast” — true! — but there’s another angle on my mind…
Navier-Stokes isn’t really “solved”. Do the equations without forcing have smooth solutions? What kind of force terms can cause explosion? They’re obvious questions after the result from OpenAI.
But it meets the Clay Math prize condition, so I guess we tick it off and move on