Implicit Mathematics and LLM Limits

Adam Haman returns, this time to help Bob analyze clips from Adam's own show. Specifically, Adam had interviewed two authors (Jobst Landgrebe and Barry Smith) on their book claiming that AI had in-built limits.

Mentioned in the Episode and Other Links of Interest:

• The YouTube version of this conversation.
• This episode’s sponsor, The Swan Brothers.
• The Haman Nature interview of the authors, and a solo Haman interview of Landgrebe.
• Bob's interview on the halting problem, his "conversation" with GPT4, his explanation of Godel's Theorem, and his theological explanation of the mysterious success of LLMs. Someone else's great video explaining how LLMs work,
• The HamanNature substack.
• Help support the Bob Murphy Show.