4 ms·Kevin Buzzard and Alex Kontorovich on the Future of Formal Mathematics2 points by ocfnash 1y ago