Max Tegmark - Trustworthy AI: The Proof Dilemma (via searchlore.ai)