TY - RPRT TI - Mathematics: the Rise of the Machines AU - Yang-Hui He PY - 2025 UR - https://arxiv.org/abs/2511.17203 ID - 2511.17203 ER -