Pure Mathematicians: No, you can't prove math theorems just by simulating differential equations on a computer. Floating-point operations and discretizations are imprecise.

Applied Mathematicians: Assign an error bar to all math you did, call it a "rigorous“ solver. If the whole bar is in the "correct" region, problem solved.