HN
Hacker News
Top
New
Best
Ask
Show
Jobs
Comment by hughesjj | Hacker News Reader
Parent
Full thread
hughesjj
·
But how else would I power this machine that outputs theorems?
View on HN
dogboat
·
Erdős found stronger drugs
NooneAtAll3
·
become comathematician and turn cotheorems into ffee
Reply on news.ycombinator.com