article Open access
Mathematical reasoning and the computer
- aDepartment of Mathematics, Imperial College London, London SW7 2AZ, United Kingdom
- ✉Corresponding author
Bulletin of the American Mathematical SocietyAmerican Mathematical Society2024-02-15 7 citations15 references
Looking for the full paper…
Papers open inside SciRah from the original publisher or repository; SciRah never hosts them.
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.