George Hotz - Formal Programming and AI Limitations (via searchlore.ai)