But how else would I power this machine that outputs theorems? | Hacker News

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

		hughesjj on Dec 12, 2024 \| parent \| context \| favorite \| on: Fermat's Last Theorem – how it’s going But how else would I power this machine that outputs theorems?

dogboat on Dec 12, 2024 | [–]

Erdős found stronger drugs

NooneAtAll3 on Dec 13, 2024 | [–]

become comathematician and turn cotheorems into ffee

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