Scott Aaronson - Creativity and New Axioms (via searchlore.ai)