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:

video (2.25 Gb)
transcript
slides

the whole session in YouTube (LL: 27-46 min)