TY - RPRT TI - Statistical Theory in the Age of Machine-Assisted Mathematics: Rethinking How Theory Is Made and Taught AU - Pietro Coretto PY - 2026 UR - https://arxiv.org/abs/2609.04481 ID - 2609.04481 ER -