Hacker News Reader

They should let AI work on it until the proof fits in the margin of a page.

5 minutes later, the AI concludes the best strategy is to start a universe simulation and let Fermat write the proof in a margin. Recurse.

Yeah they tried that, but the proof didn't fit.