7 ms·
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 softwar
by ookdatnog 1y ago
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 https://youtu.be/Dp-mQ3HxgDE?si=8a0d6ci-7a-yfhou
- griffzhowl 1y agoHe's one of the leaders of this project to formalise Fermat's last theorem too
- ljlolel 1y agoHe’s also commenting in this thread!
- monkeyelite 1y agoThanks