Hacker News
new
|
past
|
comments
|
ask
|
show
|
jobs
|
submit
login
openasocket
11 months ago
|
parent
|
context
|
favorite
| on:
Project to formalise a proof of Fermat’s Last Theo...
I would be surprised if it wasn’t. Maybe some part of depends on the continuum hypothesis, but ZFC is pretty powerful
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:
