Key points are not available for this paper at this time.
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.
Building similarity graph...
Analyzing shared references across papers
Loading...
Kevin Buzzard (Thu,) studied this question.
www.synapsesocial.com/papers/68e79089b6db643587701ed7 — DOI: https://doi.org/10.1090/bull/1833
Kevin Buzzard
Bulletin of the American Mathematical Society
Imperial College London
Building similarity graph...
Analyzing shared references across papers
Loading...