Hacker News new | ask | show | jobs
by sinuhe69 22 days ago
How did they jump from finding counter-examples (disproof) to a proof?