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

Hacker Newsnew | past | comments | ask | show | jobs | submit

drivebyhooting 21 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 | Legal | Apply to YC | Contact