Correct. For those that don't agree see the Incompleteness Theorem. It was once thought (by Hilbert no less) that computers would one day be able to derive all

Correct. For those that don't agree see the Incompleteness Theorem. It was once thought (by Hilbert no less) that computers would one day be able to derive all mathematical truths for us. Alas, G\:{o}del came along and ruined all of those grand plans by proving such an endeavor was in possible. He also showed the limits of human reason. Computers may or may not be "dumber" than humans, but we know that they can't be "smarter."