I'm also outsourcing computational geometry to CGAL and CPU optimizations to GCC, so what? I can still reason about them.

For example for a problem I had recently Claude pointed out (after some prodding for me) that the determinant of the Jacobian of a function I'm interested in is a polynomial in polar coordinates, so I used a fancy root finding library (which I also didn't write) to solve it efficiently.