2 ms·
That's proof by contradiction: https://en.wikipedia.org/wiki/Reductio_ad_absurdum https://en.wikipedia.org/wiki/Reductio_ad_absurdum
by stevefan1999 5mo ago
That's proof by contradiction: https://en.wikipedia.org/wiki/Reductio_ad_absurdum https://en.wikipedia.org/wiki/Reductio_ad_absurdum
- edanm 5mo agoNo, 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.