4 ms·
They should let AI work on it until the proof fits in the margin of a page.
by amelius 1mo ago
They should let AI work on it until the proof fits in the margin of a page.
- FartyMcFarter 1mo ago5 minutes later, the AI concludes the best strategy is to start a universe simulation and let Fermat write the proof in a margin. Recurse.
- amelius 1mo agoYeah they tried that, but the proof didn't fit.