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

[ApolloFortyNine]

Interesting claim. That's true for old models that simply have no way to explain, LLMs however can. [1]

[1] https://dev.to/natcher/researchers-develop-method-to-train-l...