Bruce Nielson, creator of the Theory of Anything Podcast, joins to dissect the intricate relationship between creativity and computation. He delves into whether theorem proving can be considered creative and examines the groundbreaking strategies of AlphaGo in its match against Lee Sedol, particularly the surprising 'Move 37.' Nielson also tackles the philosophical debates surrounding determinism and the nature of innovation. With insights on animal intelligence and redefining creativity, this conversation challenges our understanding of both human and machine-generated creativity.