TY  - RPRT
TI  - Is Mathematics Obsolete?
AU  - Jeremy Avigad
PY  - 2025
UR  - https://arxiv.org/abs/2502.14874
ID  - 2502.14874
ER  -