I've suspected for a while that this is how we unlock the next phase in theoretical physics, such as unifying QM and gravity. We may have hit some kind of human cognitive limit or blind region, so maybe we need to deploy some bigger (but more specialized) guns.
2D incompressible Navier-Stokes ain't too shabby. The problems they investigated should have been in the abstract.<p>3D compressible N.-S. where error is measured via some functional of interest after direct numerical simulation of the discovered equations would be neat to see. I am curious which conservation laws it could figure out.