Fundamental Basis and Motivation

The Keys

  • checking a proof is correct is generally MUCH easier then synthesizing the proof 1.
  • verification is fundamentally a search problem 1.
    • modern game playing AI has been extremely successful at taming exponential state spaces.
  • checking

196733

  1. Tegmark, M., & Omohundro, S. (2023). Provably safe systems: the only path to controllable AGI. arXiv preprint arXiv:2309.01933. ↩ ↩2