Answers are grounded in this paper and cite their sources.
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.
No takes yet. Share an insight, caveat, or question.
Kevin Buzzard (2024) studied this question.
Synapse has enriched 5 closely related papers on similar clinical questions. Consider them for comparative context: