Related:
“Math 2.0” will need to value mathematical progress more holistically
https://news.ycombinator.com/item?id=50002008
Related:
“Math 2.0” will need to value mathematical progress more holistically
https://news.ycombinator.com/item?id=50002008