Comment by 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!