5 minutes later, the AI concludes the best strategy is to start a universe simul... | Hacker News

Hacker Newsnew | past | comments | ask | show | jobs | submit

FartyMcFarter 20 days ago | parent | context | favorite | on: Formalizing Fermat's Last Theorem

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 20 days ago [–]

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

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