cs.AIAug 24, 2026

What is mathematics now, and what should it be?

Authors: Jeremy Avigad

Read PDF
Ask AI
Cite

Copy citation

DOINot available for this paper

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.

Explore similar work

CardsList

  1. Mathematicians in the age of AI

    Mar 4, 2026Jeremy AvigadHuman-AI CollaborationAI and Labor

  2. From Solvers to Research: Large Language Model-Driven Formal Mathematics at the Research Frontier

    Jul 8, 2026Eric Jiang, Xiao Liang, Yikai Zhang +16Automated Theorem ProvingInteractive Theorem Proving

    University of California, Los Angeles · 2Lawrence Livermore National Laboratory

  3. Artificial Intelligence and the Structure of Mathematics

    Apr 7, 2026Maissam Barkeshli, Michael R. Douglas, Michael H. FreedmanAI Agents for Scientific DiscoveryMathematical Reasoning

    Meta Superintelligence Labs, Fundamental AI Research · Department of Physics and Joint Quantum Institute, University of Maryland, College Park · Center for Mathematical Sciences and Applications, Harvard University +1