In the world where idle speculation can be passed off as established future facts, i.e., this one I guess.

Proof by negation, I guess?

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.

Proving things is fun, isn’t it?

But FYI “proof by negation” is better known as the fallacy of excluded middle when applied outside a binary logical system like this.

That is so only if by “upcoming years” they mean “any point in the future”. I think they meant “soon”, though.

> no computer will ever be able to beat humans in code design

If you define "human" to be "average competent person in the field" then absolutely I will agree with it.

In the delusional startup world.