Hacker Times
new
|
past
|
comments
|
ask
|
show
|
jobs
|
submit
login
ted_dunning
on Dec 19, 2024
|
parent
|
context
|
favorite
| on:
Fermat's Last Theorem – how it’s going
It is also utterly unlike in that the formalization of math actually has real impact. Cyc has never had any impact and almost certainly never will.
Consider applying for YC's Fall 2026 batch!
Applications
are open till July 27.
Guidelines
|
FAQ
|
Lists
|
API
|
Security
|
Legal
|
Apply to YC
|
Contact
Search:
