r/math•7 mo. agoninguemMathematicians in the Age of AI (by Jeremy Avigad)andrew.cmu.edu/user/avigad/Papers/mathematici...andrew.cmu.eduPosted Mar 4, 2026, 7:25 AM UTC7756ShareSave