{"id":"arxiv/2603.03684","url":"https://arxiv.org/abs/2603.03684","tags":["math.HO","cs.AI"],"score":0,"title":"Mathematicians in the age of AI","domain":"math.HO","source":"arxiv","authors":["Jeremy Avigad"],"reviews":0,"subject":"math.HO","summary":"Recent developments show that AI can prove research-level theorems in mathematics, both formally and informally. This essay urges mathematicians to stay up-to-date with the technology, to consider the ways it will disrupt mathematical practice, and to respond appropriately to the challenges and opportunities we now face.","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-03-04","reactions":{}}