TY  - RPRT
TI  - On AI and Progress in Mathematics: Dreaming a Mathematical Universal Machine
AU  - Vincent Runge
PY  - 2026
UR  - https://arxiv.org/abs/2610.35263
ID  - 2610.35263
ER  -