Hacker News
new
|
past
|
comments
|
ask
|
show
|
jobs
|
submit
login
wk_end
on Aug 20, 2025
|
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.
Guidelines
|
FAQ
|
Lists
|
API
|
Security
|
Legal
|
Apply to YC
|
Contact
Search: