4 ms·
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 https://www.yo
by qntmfred 5y 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 https://www.youtube.com/watch?v=HL7DEkXV_60&t=295s