Mathematical reasoning and the computer

TL;DR

This paper reviews recent advances in neural networks, theorem proving, and large language models, exploring their potential to enhance mathematical reasoning and possibly enable machines to reason autonomously.

Contribution

It provides an overview of recent developments in AI and computational tools that could transform mathematical reasoning and automation.

Findings

Neural networks are increasingly used in mathematical tasks.

Computer theorem provers are advancing in complexity and capability.

Large language models show promise in understanding and generating mathematical reasoning.

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.