Comment by daniel-sc

100% But this is a major shift and it is totally unclear how to judge/measure „good explanation“. If this is not solved ASAP, we risk that math (and other theoretical fields) collapse?