Kevin Buzzard and Alex Kontorovich on the Future of Formal Mathematics

2 points| ocfnash | 5 months ago |renaissancephilanthropy.org