Mathematical reasoning and the computer
Artificial Intelligence
2025-02-13 v1
Abstract
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.
Cite
@article{arxiv.2502.07850,
title = {Mathematical reasoning and the computer},
author = {Kevin Buzzard},
journal= {arXiv preprint arXiv:2502.07850},
year = {2025}
}
Comments
This article was written in 2023 and is thus now rather out of date. Apologies for taking so long to upload to ArXiv