Hacker News
new
|
past
|
comments
|
ask
|
show
|
jobs
|
submit
login
ookdatnog
11 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
11 months ago
|
next
[–]
He's one of the leaders of this project to formalise Fermat's last theorem too
ljlolel
11 months ago
|
parent
|
next
[–]
He’s also commenting in this thread!
monkeyelite
11 months ago
|
prev
[–]
Thanks
Consider applying for YC's Fall 2026 batch!
Applications
are open till July 27.
Guidelines
|
FAQ
|
Lists
|
API
|
Security
|
Legal
|
Apply to YC
|
Contact
Search:
https://youtu.be/Dp-mQ3HxgDE?si=8a0d6ci-7a-yfhou