How do humans succeed in tasks like proving Fermat's Theorem or predicting the Higgs boson?
Abstract
A video of an invited talk at STOC-2021.the text and slides available at https://arxiv.org/abs/2209.09121
Fields of Study & Subjects
Computability
Logic
AI Algorithms
Artificial Intelligence Applications
History and Theory of Mathematics
Publication details
- Journal / source
- Zenodo (CERN European Organization for Nuclear Research)
- Publication date
- 9 February 2026
- Language
- EN