No, Carmack holds the burden of proof because he started the argument. His incapable program does not prove anything.

Maybe this is formulated a bit harsh, but let us respect the logic here.