Vi Hart's Big Navier-Stokes Post. ⇒
15 October 2026, lunch time
How could I be wowed that a Millenium Prize problem has been solved using Lean verification for its proof in 2026, when that was on our minds for our 5-year plan back in 2021? How can I be impressed that OpenAI claims to have solved it in 88 hours when even I, someone barely involved, spent more hours than that working on the tech they’re using? How much work from how many people did it really take to get that result?
This is a post from my link log: If you click the title of this post you will be taken the web page I am discussing.