论文标题
人类如何在证明Fermat定理或预测Higgs玻色子等任务中成功？
How do humans succeed in tasks like proving Fermat's Theorem or predicting the Higgs boson?
论文作者
论文摘要
我讨论了可行的可计算功能，最佳发现算法以及其性能不断开销的问题。
I discuss issues of inverting feasibly computable functions, optimal discovery algorithms, and the constant overheads in their performance.
