Nobody who ever said:

    Beware of bugs in the above code; I have only proved it correct, not tried it. 
    -- Donald Knuth, 1977.

would ever dare to call himself the GOAT.