Philosophically such proofs cannot be real for a simple reason. Abstracts, such as mathematics, only describe reality; they do not define reality.
You may paint the prettiest, most accurate picture of an apple ever made, but it remains just a picture, not the apple itself.
well then nothing written - numbers or words - can really describe anything. they just are attempting to define concepts in either a number, or a language term. and yet writers write about the world and scientists use equations to model the world.