Existence of Lorentz attractor was proved in part using rigorous numerics impemented on a computer.
http://www2.math.uu.se/~warwick/main/papers/comptes.pdf