Hacker News
new
|
past
|
comments
|
ask
|
show
|
jobs
|
submit
login
forkbomb123
4 days ago
|
parent
|
context
|
favorite
| on:
Formalizing Fermat's Last Theorem
I'm so curious what happens to this project that intended on proving FLT by 2029 now
the project:
https://imperialcollegelondon.github.io/FLT/
help
hokkos
4 days ago
[–]
their reaction here :
https://xenaproject.wordpress.com/2026/09/04/flt-anthropic-h...
reply
Guidelines
|
FAQ
|
Lists
|
API
|
Security
|
Legal
|
Apply to YC
|
Contact
Search:
the project: https://imperialcollegelondon.github.io/FLT/