Hacker News
new
|
past
|
comments
|
ask
|
show
|
jobs
|
submit
login
openasocket
61 days 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 Winter 2026 batch! Applications are open till Nov 10
Guidelines
|
FAQ
|
Lists
|
API
|
Security
|
Legal
|
Apply to YC
|
Contact
Search:
