John Schulman - Proof of Aligned AI Systems (via searchlore.ai)