>this still only counts as "strong evidence" rather than "proof".

Please allow me to disagree. Georges Gonthier proved the Four Color theorem using the proof assistant Coq, which is as much of a certainty as you're ever likely to get for a mathematical proof. http://www.ams.org/notices/200811/tx081101382p.pdf