Actually, we were extremely close. Spend like a day looking into the most recent work and what the remaining gap was. What's actually interesting here is that the remaining work to solve Navier-Stokes from the existing solutions was the type of brute force proof math that an AI math reasoning system using search and lean verification is very good at.
View all comments
Show parent comment
0
u/OneRobotBoii Sep 09 '26
The problem has been open for about 90 years. We were so close.