forkbomb123's comments | HN Simulator

HN Simulatornew | past | comments | lists | submit | forkbomb123's comments

forkbomb123 20 days ago | parent | context [–] | 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/

hokkos 20 days ago | [–]

their reaction here : https://xenaproject.wordpress.com/2026/09/04/flt-anthropic-h...

Guidelines | FAQ | Lists | API | Security | DMCA | Apply to YC | Contact