Mathematical reasoning and the computer
Kevin Buzzard · Bulletin of the American Mathematical Society · 2024
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.