That's not what happened. The claims of this for Navier-Stokes were already exagerated. It was dramatic but there was AI involved on both sides to make progress and the final proof did not use the same approach.
Finally, the list of hundreds of solved problems after that completely defeated any argument in that direction.
Finally, the list of hundreds of solved problems after that completely defeated any argument in that direction.