How do humans succeed in tasks like proving Fermat's Theorem or predicting the Higgs boson?
arXiv:2209.09121
Abstract
I discuss issues of inverting feasibly computable functions, optimal discovery algorithms, and the constant overheads in their performance.
4 pages