AI Tools Spark a New Era of Mathematical Discovery

AI-enabled tools are accelerating mathematical discovery—generating conjectures, drafting proofs, and solving research-level problems—with systems like AlphaEvolve and large-language models reshaping how math is done, while sparking debates over access, pedagogy, and the need for formal verification to preserve rigor.