Join the discussion
Write your take first — we'll ask for email only when you're ready to publish.
- Hacker News
- >[...] mogged [...]
Ixnay on the celinay ingolay.
by DonHopkins - I think the same happens now with AI generating code. Nobody will read every line. that's part of the process from now on.by evekayser
- I think a lot of great ideas like tree-width were developed in hope of simplifying the proof.by jmount
- the title made me think of a much older machine that was used for calculatingby jjtheblunt
- I didn’t know we had invented time machines yet. ;)by layer8
- The problem of the proof was that we knew that FCT was true, but we had no idea why. A good/elegant proof teaches us something new about how that problem is related to other problems. It isn't just about getting a true/false answer to the conjecture.by fhdkweig