How to Recognize Artificial Mathematical Intelligence in Theorem Proving.
One key question in the philosophy of artificial intelligence (AI) concerns how we can recognize artificial systems as intelligent. To make the general question more manageable, I focus on a particular type of AI, namely one that can prove mathematical theorems. The current generation of automated t...
| Publicado en: | Topoi: An International Review of Philosophy Vol. 45; no. 2; pp. 707 - 721 |
|---|---|
| Autor principal: | |
| Formato: | Artículo |
| Publicado: |
Springer Nature
May2026
|
| Materias: | |
| Acceso en línea: | Ver este registro en EBSCOhost |