Hacker News new | ask | show | jobs
by eru 294 days ago
Alas, GPT-5 Pro (and friends) will also happily and confidently give you nonsense proofs of supposed theorems.

But yes, it's getting better and better.