How do we succeed in tasks
like proving Fermat's Theorem
or predicting the Higgs boson ?

Leonid A. Levin.
STOC-21 6/23/2021 talk: