M mathstodon.xyz “Math 2.0” will need to value mathematical progress more holistically 616 points ent101 23 days ago 655 comments