Hacker News
new
|
past
|
comments
|
ask
|
show
|
jobs
|
submit
login
CaptWorld
21 days ago
|
parent
|
context
|
favorite
| on:
Formalizing Fermat's Last Theorem
Sure. But experts seem to be aware of the direction of those solutions so it seems unlikely there could be some hidden bug which disproves it. But it could be possible.
Guidelines
|
FAQ
|
Lists
|
API
|
Security
|
Legal
|
Apply to YC
|
Contact
Search: