What is mathematics now, and what should it be?
Jeremy Avigad
cs.AI math.HO
Abstract
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.
Topics
Classified with taxonomy v2 on Wed, 2 Sept 2026.