Hacker News
new
|
past
|
comments
|
ask
|
show
|
jobs
|
submit
login
wk_end
11 months ago
|
parent
|
context
|
favorite
| on:
Project to formalise a proof of Fermat’s Last Theo...
It's
possible
we never found the one he had, but it's pretty unlikely given how many brilliant people have beaten their head against this. "Wrong or joking" is much more likely.
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: