The Insurmountable Problem of Formal Reasoning in Large Language Models by Michael Spencer - Audiobook