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 harshly, but let us respect the logic here.