AIFeb 11, 2025
Mathematical reasoning and the computer
arXiv:2502.07850v19 citationsh-index: 2Bull Am Math Soc
Originality Synthesis-oriented
AI Analysis
This is an incremental overview of existing technologies for mathematicians and AI researchers.
The paper examines whether computers can assist or perform mathematical reasoning, reviewing recent advances in neural networks, theorem provers, and large language models.
Computers have already changed the way that humans do mathematics: they enable us to compute efficiently. But will they soon be helping us to reason? And will they one day start reasoning themselves? We give an overview of recent developments in neural networks, computer theorem provers and large language models.