Mathematical exploration and discovery at scale - Explained Simply | ArXiv Explained