Mathematical reasoning and the computer
File(s)BAMS_Buzzardv3.pdf (285.55 KB)
Accepted version
Author(s)
Buzzard, Kevin
Type
Journal Article
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.
Date Issued
2024-04
Date Acceptance
2024-02-01
Citation
Bulletin of the American Mathematical Society, 2024, 61 (2), pp.211-224
ISSN
0273-0979
Publisher
American Mathematical Society
Start Page
211
End Page
224
Journal / Book Title
Bulletin of the American Mathematical Society
Volume
61
Issue
2
Copyright Statement
Copyright © 2024 by the author. This is the author’s accepted manuscript made available under a CC-BY licence in accordance with Imperial’s Research Publications Open Access policy (www.imperial.ac.uk/oa-policy)
License URL
Identifier
https://www.ams.org/journals/bull/2024-61-02/S0273-0979-2024-01833-3/
Subjects
Mathematics
Physical Sciences
Science & Technology
Publication Status
Published
Date Publish Online
2024-02-15