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