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

[JumpCrisscross]

> A human reader can query an LLM and get explanations of key points tailored to the reader's own background in mathematics

Convenient. To verify my shovel works you must buy…more shovels!