4 ms·
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.
by edanm 5mo ago
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.