Some more discussion Terence Tao crosspost: https://news.ycombinator.com/item?id=50000421

Related:

“Math 2.0” will need to value mathematical progress more holistically

https://news.ycombinator.com/item?id=50002008