I watched this video years ago and found it interesting. It's a talk by Kevin Bu... | Hacker News

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

		ookdatnog 7 months ago \| parent \| context \| favorite \| on: Project to formalise a proof of Fermat’s Last Theo... I watched this video years ago and found it interesting. It's a talk by Kevin Buzzard, a pure mathematician who got really interested in theorem proving software, and he explains his motivation. https://youtu.be/Dp-mQ3HxgDE?si=8a0d6ci-7a-yfhou

griffzhowl 7 months ago | [–]

He's one of the leaders of this project to formalise Fermat's last theorem too

ljlolel 7 months ago | | [–]

He’s also commenting in this thread!

monkeyelite 7 months ago | [–]

Thanks

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