“Math 2.0” will need to value mathematical progress more holisticallymathstodon.xyz
204 points by ent101 2 hours ago | 126 comments