Andrew Dickson

Andrew Dickson, an expert in formal verification and AI safety, dives deep into the challenges of ensuring AI reliability. He discusses the limitations of formal verification in messy real-world scenarios, where full symbolic rule sets often fall short. The conversation highlights the complexities of predictive modeling in biology and the difficulties in simulating human interactions. Dickson emphasizes the ongoing need for rigorous inspections, arguing that even with advancements in AI, achieving strong guarantees remains a daunting task.

A professor, a film studies expert, and a journalist discuss the global influence of Shakespeare's works. They explore adaptations in different cultures, including a version of King Lear set in Delhi and Indian cinema's interpretation of Shakespeare. The podcast also delves into the issues in Kashmir and the portrayal of conflict zones through Shakespeare's plays. The speakers challenge the notion of Shakespeare as a singular genius and discuss the importance of authenticity and originality in art.