Discovery of Unstable Singularities (In 3D Navier-Stokes Équations) (arxiv.org)

How do they prove that further precision enhancements will maintain the singularity? They're using numerical approximation which means they don't have analytical expressions to work with.