Hacker News new | ask | show | jobs
by qntmfred 1829 days ago
A quick intro from quanta magazine to Kevin Buzzard's work on computer-assisted proof systems

https://www.youtube.com/watch?v=HL7DEkXV_60&t=295s