Is Mathematics Obsolete?
Jeremy Avigad
TL;DR
The essay investigates whether mathematics remains essential in the age of AI, arguing that it is not obsolete and is needed to ensure transparent, principled reasoning and deliberation. It contrasts the historical trajectories of symbolic (logic-based) and neural AI, advocating a hybrid approach that leverages formalization tools like Lean and projects such as AlphaProof to enhance mathematical reasoning. The author emphasizes two possible futures: one where AI augments human reasoning with mathematical rigor, and another where AI's conclusions go unchecked, eroding human agency. The work underscores the enduring importance of mathematical thinking for science, policy, and responsible AI deployment in a data-rich world.
Abstract
This is an essay about the value of mathematical and symbolic reasoning in the age of AI.