Apriori Knowledge in an Era of Computational Opacity: The Role of AI in Mathematical Discovery
Fuente:
arXiv
Gespeichert in:
| Hauptverfasser: | , |
|---|---|
| Format: | Preprint |
| Veröffentlicht: |
2024
|
| Schlagworte: | |
| Online-Zugang: | |
| Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
| _version_ | 1866918291231997952 |
|---|---|
| author | Duede, Eamon Davey, Kevin |
| author_facet | Duede, Eamon Davey, Kevin |
| contents | Can we acquire apriori knowledge of mathematical facts from the outputs of computer programs? People like Burge have argued (correctly in our opinion) that, for example, Appel and Haken acquired apriori knowledge of the Four Color Theorem from their computer program insofar as their program simply automated human forms of mathematical reasoning. However, unlike such programs, we argue that the opacity of modern LLMs and DNNs creates obstacles in obtaining apriori mathematical knowledge from them in similar ways. We claim though that if a proof-checker automating human forms of proof-checking is attached to such machines, then we can obtain apriori mathematical knowledge from them after all, even though the original machines are entirely opaque to us and the proofs they output may not, themselves, be human-surveyable. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2403_15437 |
| institution | arXiv |
| publishDate | 2024 |
| record_format | arxiv |
| spellingShingle | Apriori Knowledge in an Era of Computational Opacity: The Role of AI in Mathematical Discovery Duede, Eamon Davey, Kevin Artificial Intelligence Human-Computer Interaction History and Overview Can we acquire apriori knowledge of mathematical facts from the outputs of computer programs? People like Burge have argued (correctly in our opinion) that, for example, Appel and Haken acquired apriori knowledge of the Four Color Theorem from their computer program insofar as their program simply automated human forms of mathematical reasoning. However, unlike such programs, we argue that the opacity of modern LLMs and DNNs creates obstacles in obtaining apriori mathematical knowledge from them in similar ways. We claim though that if a proof-checker automating human forms of proof-checking is attached to such machines, then we can obtain apriori mathematical knowledge from them after all, even though the original machines are entirely opaque to us and the proofs they output may not, themselves, be human-surveyable. |
| title | Apriori Knowledge in an Era of Computational Opacity: The Role of AI in Mathematical Discovery |
| topic | Artificial Intelligence Human-Computer Interaction History and Overview |
| url | https://arxiv.org/abs/2403.15437 |