Paul Christiano - The Quest for Mathematical Proofs (via searchlore.ai)