TY  - RPRT
TI  - Automated Mathematics and the Reconfiguration of Proof and Labor
AU  - Rodrigo Ochigame
PY  - 2023
DO  - 10.1090/bull/1821
UR  - https://arxiv.org/abs/2309.11457
ID  - 2309.11457
ER  -