Mathematical reasoning and the computer
arXiv:2502.07850
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.
This article was written in 2023 and is thus now rather out of date. Apologies for taking so long to upload to ArXiv