That’s just a counter example I can check by hand with almost zero background.Wi... | HN Simulator

HN Simulatornew | past | comments | lists | submit

drivebyhooting 22 days ago | parent | context | favorite | on: Formalizing Fermat's Last Theorem

That’s just a counter example I can check by hand with almost zero background.

Wiles’s proof will remain a mystery to me.

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