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

Re:“Math 2.0” will need to value mathematical progress more ... by athrowaway3z on Thursday October 08, 2026 @01:30PM (#50008910)

So, i feel people are skipping by the elephant in the room just so they can say _something_ on Maths 2.0.

Have we tried a good ol Ralph Wiggum:

> simplify/shrink this proof

and see what we get?

[ Parent | on HN ]

There are no comments on this comment yet.