{"id":"arxiv/2608.23218","url":"https://arxiv.org/abs/2608.23218","tags":["cs.AI","math.HO"],"score":0,"title":"What is mathematics now, and what should it be?","domain":"cs.AI","source":"arxiv","authors":["Jeremy Avigad"],"reviews":0,"subject":"cs.AI","summary":"Advances in neural theorem provers have been impressive, but the successes obscure a broader vision of what AI can do for mathematics and how mathematicians can engage with AI. This essay advances a more expansive and optimistic point of view.","category":"research","comments":0,"disputed":false,"division":"cs","mentions":0,"discussed":0,"published":"2026-08-24","reactions":{}}