Listen now (63 mins) | Other topics we talk about include AI native platforms, the printing press, theorem proving/generation, and reasoning in LLMs