Yes. The point was not coming up with the proof from scratch. The point was writ... | Hacker News

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

ngruhn 18 days ago | parent | context | favorite | on: Formalizing Fermat's Last Theorem

Yes. The point was not coming up with the proof from scratch. The point was writing it all down in Lean to make it fully machine checkable.

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