Mathematical reasoning and the computer
Fuente:
arXiv
Enregistré dans:
| Auteur principal: | |
|---|---|
| Format: | Preprint |
| Publié: |
2025
|
| Sujets: | |
| Accès en ligne: | |
| Tags: |
Ajouter un tag
Pas de tags, Soyez le premier à ajouter un tag!
|
| _version_ | 1866909488370417664 |
|---|---|
| author | Buzzard, Kevin |
| author_facet | Buzzard, Kevin |
| contents | 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. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2502_07850 |
| institution | arXiv |
| publishDate | 2025 |
| record_format | arxiv |
| spellingShingle | Mathematical reasoning and the computer Buzzard, Kevin Artificial Intelligence 68T01 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. |
| title | Mathematical reasoning and the computer |
| topic | Artificial Intelligence 68T01 |
| url | https://arxiv.org/abs/2502.07850 |