Is Mathematics Obsolete?
History and Overview
2025-02-28 v2 Artificial Intelligence
Authors:
Jeremy Avigad
Abstract
This is an essay about the value of mathematical and symbolic reasoning in the age of AI.
Keywords
Cite
@article{arxiv.2502.14874,
title = {Is Mathematics Obsolete?},
author = {Jeremy Avigad},
journal= {arXiv preprint arXiv:2502.14874},
year = {2025}
}
Related papers
View all related →
History and Overview · Mathematics
Mathematicians in the age of AI
Jeremy Avigad
2026-04-07
History and Overview · Mathematics
AI for Mathematics: Progress, Challenges, and Prospects
Haocheng Ju, Bin Dong
2026-05-05
History and Overview · Mathematics
The meaning of doing mathematics
Petra Schwer
2025-09-22
Artificial Intelligence · Computer Science
A Survey of Deep Learning for Mathematical Reasoning
Pan Lu, Liang Qiu, Wenhao Yu, Sean Welleck +1
2023-06-23
Differential Geometry · Mathematics
Artificial Intelligence and the Autonomization of Mathematics
Jaime Ripoll
2026-05-28
History and Overview · Mathematics
Correctness, Artificial Intelligence, and the Epistemic Value of Mathematical Proof
James Owen Weatherall, Jesse Wolfson
2026-02-16
Artificial Intelligence · Computer Science
Artificial Intelligence and the Structure of Mathematics
Maissam Barkeshli, Michael R. Douglas, Michael H. Freedman
2026-04-08
History and Overview · Mathematics
Shaping the Future of Mathematics in the Age of AI
Johan Commelin, Mateja Jamnik, Rodrigo Ochigame, Lenny Taelman +1
2026-05-11
Neurons and Cognition · Quantitative Biology
AI for Mathematics: A Cognitive Science Perspective
Cedegao E. Zhang, Katherine M. Collins, Adrian Weller, Joshua B. Tenenbaum
2023-10-23
Optimization and Control · Mathematics
The Mathematics of Artificial Intelligence
Gabriel Peyré
2025-01-22
History and Overview · Mathematics
Mathematical methods and human thought in the age of AI
Tanya Klowden, Terence Tao
2026-03-30
Artificial Intelligence · Computer Science
Mathematics and Machine Creativity: A Survey on Bridging Mathematics with AI
Shizhe Liang, Wei Zhang, Tianyang Zhong, Tianming Liu
2026-02-16
Artificial Intelligence · Computer Science
Formal Mathematical Reasoning: A New Frontier in AI
Kaiyu Yang, Gabriel Poesia, Jingxuan He, Wenda Li +3
2024-12-23
Artificial Intelligence · Computer Science
A Survey on Mathematical Reasoning and Optimization with Large Language Models
Ali Forootani
2025-03-25
Artificial Intelligence · Computer Science
Thinking Machines: Mathematical Reasoning in the Age of LLMs
Andrea Asperti, Alberto Naibo, Claudio Sacerdoti Coen
2026-02-02
History and Overview · Mathematics
Mathematics: the Rise of the Machines
Yang-Hui He
2025-11-24
History and Overview · Mathematics
Mathematics and language
Jeremy Avigad
2015-08-24
History and Overview · Mathematics
Notes on a Path to AI Assistance in Mathematical Reasoning
Alex Kontorovich
2023-10-05
Computation and Language · Computer Science
Logical Reasoning over Natural Language as Knowledge Representation: A Survey
Zonglin Yang, Xinya Du, Rui Mao, Jinjie Ni +1
2024-02-19
Computation and Language · Computer Science
Evaluating Language Models' Evaluations of Games
Katherine M. Collins, Cedegao E. Zhang, Graham Todd, Lance Ying +8
2026-05-19
History and Overview · Mathematics
Teaching Programming for Mathematical Scientists
Jack Betteridge, Eunice Y. S. Chan, Robert M. Corless, James H. Davenport +1
2022-03-16
Computation and Language · Computer Science
Mathematical Reasoning in Large Language Models: Benchmarks, Architectures, Evaluation, and Open Challenges
Husnain Amjad, Raja Khurram Shahzad, Aamir Shahzad, Mehwish Fatima
2026-05-20
Artificial Intelligence · Computer Science
Lectures on AI for Mathematics
Xiaoyang Chen, Xiaoyang Chen
2026-04-14
Artificial Intelligence · Computer Science
Models Can and Should Embrace the Communicative Nature of Human-Generated Math
Sasha Boguraev, Ben Lipkin, Leonie Weissweiler, Kyle Mahowald
2024-11-01
Computers and Society · Computer Science
Liberating Logic in the Age of AI: Going Beyond Programming with Computational Thinking
Douglas C. Schmidt, Dan Runfola
2025-11-25