On October 15th, Paul Christiano presented “Probabilistic metamathematics and the definability of truth” at Harvard University as part of Logic at Harvard (details here). As explained here, Christiano came up with the idea for this approach, and it was developed further at a series of MIRI research workshops.
Video of the talk is now available:
The video is occasionally blurry due to camera problems, but is still clear enough to watch.
