[stevefan1999]

That's proof by contradiction: https://en.wikipedia.org/wiki/Reductio_ad_absurdum

[edanm]

No, the thing the LLM did is not a proof, it's the opposite. It's proving that the conjecture is false.

Reductio ad absurdum is a technique to prove something.