Computer-Assisted Proofs Take on Fluid Flow