Not a physics question but I'll ask here. Is there any real world application to mathematical proofs?