[2511.02864] Mathematical exploration and discovery at scale

https://arxiv.org/abs/2511.02864

_- Steve