Thought Experiment is a series of informal events for researchers and practitioners in AI, security, and formal methods. Through short talks and open discussion, we explore how AI is changing the way we code, find vulnerabilities, and prove theorems — and how, in turn, we can use these advances to make AI-driven systems more trustworthy.