This talk by Terence Tao is really amazing
Outlines so many bottlenecks and missing infrastructure in math research
I never even noticed that in my undergrad. There is really huge work to do by math community
From 1:45:30 to 2:44:58
https://t.co/WF9Td8Axyg