Los puntos clave no están disponibles para este artículo en este momento.
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.
Kevin Buzzard (Thu,) studied this question.