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 |
| fields | @attributes: recordID: 1 pdfLink: plink: https://search.ebscohost.com/login.aspx?direct=true&db=hlh&AN=194358999&site=ehost-live header: @attributes: shortDbName: hlh uiTerm: 194358999 longDbName: Humanities International Complete uiTag: AN controlInfo: bkinfo: jinfo: jid: 01677411 NM2 jtl: Topoi: An International Review of Philosophy issn: 01677411 maglogo: N pubinfo: dt: May2026 vid: 45 iid: 2 pid: 237 pub: Springer Nature artinfo: ui: 194358999 10.1007/s11245-025-10164-w ppf: 707 ppct: 14 formats: fmt: – @attributes: type: T – @attributes: type: P size: 889KB tig: atl: How to Recognize Artificial Mathematical Intelligence in Theorem Proving. aug: au: Pantsar, Markus affil: https://ror.org/04xfq0f34 Human Technology Center, RWTH Aachen University, Theaterstrasse 14, 52062, Aachen, Germany su: Artificial intelligence Human-artificial intelligence interaction Computational intelligence Scientific communication sug: subj: Artificial intelligence Human-artificial intelligence interaction Computational intelligence Scientific communication keyword: Automated theorem proving Information and Computing Sciences Artificial Intelligence and Image Processing Mathematical proof Mathematics Philosophy of mathematical practice ab: 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 theorem provers are not understood to possess intelligence, but in my thought experiment an AI provides humanly interesting proofs of theorems and communicates them in human-like manner as scientific papers. I then ask what the criteria could be for recognizing such an AI as intelligent. I propose an approach in which the relevant criteria are based on the AI's interaction within the mathematical community. Finally, I ask whether we can deny the intelligence of the AI in such a scenario based on reasons other than its (non-biological) material construction. pubtype: Academic Journal doctype: Article src: R language: English refInfo: copyright: @attributes: flag: Y custom: Topoi: An International Review of Philosophy is a copyright of Springer, 2026. All Rights Reserved. item: Topoi: An International Review of Philosophy holder: Springer Nature dt: @attributes: year: 2026 holdings: @attributes: islocal: N |
|---|