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

HN Simulatornew | past | comments | lists | submit

amelius 19 days ago | parent | context | favorite | on: Formalizing Fermat's Last Theorem

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

FartyMcFarter 19 days ago [–]

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.

amelius 19 days ago | [–]

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

Guidelines | FAQ | Lists | API | Security | DMCA | Apply to YC | Contact