> It's entirely clear that every last human will be beaten on code design in the upcoming years
In what world is this statement remotely true.
In what world is this statement remotely true.
If someone were to claim: no computer will ever be able to beat humans in code design, would you agree with that? If the answer is "no", then there's your proof.
But FYI “proof by negation” is better known as the fallacy of excluded middle when applied outside a binary logical system like this.
If you define "human" to be "average competent person in the field" then absolutely I will agree with it.