Pricing
For Authors
Listen Now

Sign In Get Started

Explore
Library

Publish a book
Help

The Insurmountable Problem of Formal Reasoning in Large Language Models

The Insurmountable Problem of Formal Reasoning in Large Language Models

Michael Spencer

The Insurmountable Problem of Formal Reasoning in Large Language Models

Length7m

About this audiobook

Or why LLMs cannot truly reason, and maybe never will… Hybrid Claude 3.7, Nvidia's DeepSeek optimizations, 🔥 Mostly Harmless Ideas!

Artificial Intelligence

Futuristic

Exploration

Audiobook details

Rating★★★★★ (5.0) (1)

Length7 mins

Publish dateFeb 25, 2025

LanguageEnglish

You may also like

Executing a digital marketing strategy using AI

Executing a digital marketing strategy using AIBen Tossell7m5 (1)

How I Turned AI Into a Teammate, Not Just a Tool — and How You Can, Too

How I Turned AI Into a Teammate, Not Just a Tool — and How You Can, TooAytekin Tank6m5 (1)

Spotify’s Plans For AI Generated Music, Podcasts, and Recommendations, According To Its Co-President, CTO, and CPO Gustav Söderström

Spotify’s Plans For AI Generated Music, Podcasts, and Recommendations, According To Its Co-President, CTO, and CPO Gustav SöderströmAlex Kantrowitz45m4.8 (4)

Vibe Check: Claude 3.7 Sonnet and Claude Code

Vibe Check: Claude 3.7 Sonnet and Claude CodeVivian Meng / Context Window13m5 (1)

OpenAI Chief Research Officer Mark Chen: GPT 4.5 Is Now Live and Scaling Isn’t Dead

OpenAI Chief Research Officer Mark Chen: GPT 4.5 Is Now Live and Scaling Isn’t DeadAlex Kantrowitz8m5 (3)

Christian Pulisic makes the cut! Alexa Melton picks dream golf foursome - with USMNT star boyfriend selected last alongside pop superstar & Hollywood actor

Christian Pulisic makes the cut! Alexa Melton picks dream golf foursome - with USMNT star boyfriend selected last alongside pop superstar & Hollywood actorChris Burton0m5 (1)

Is NotebookLM the ChatGPT Moment for Google?

Is NotebookLM the ChatGPT Moment for Google?Michael Spencer1m4.3 (3)

LLMs Turn Every Question Into an Answer

LLMs Turn Every Question Into an AnswerDan Shipper / Chain of Thought14m4.5 (2)

How to plan and create high-quality content with AI

How to plan and create high-quality content with AIBen Tossell7m5 (2)

Giving voice to where art meets AI | ElevenLabs

Giving voice to where art meets AI | ElevenLabs1m4.1 (22)

Your AI Assistant Kit: 12 Practical Tools by Wonder Tools 😲

Your AI Assistant Kit: 12 Practical Tools by Wonder Tools 😲Michael Spencer10m4.3 (14)

How Are Consumers Using Generative AI?

How Are Consumers Using Generative AI?Olivia Moore11m4.5 (4)

Investing Trends Across Generations — How Financial Priorities Shift from Boomers to Gen Z

Investing Trends Across Generations — How Financial Priorities Shift from Boomers to Gen ZAndreas Jones8m5 (1)

Grok 3's DeepSearch with Google's new AI Mode (Search)

Grok 3's DeepSearch with Google's new AI Mode (Search)Michael Spencer5m4.2 (13)

Claude Code is growing crazy fast, and it’s not just for writing code ⌨

Claude Code is growing crazy fast, and it’s not just for writing code ⌨Michael Spencer5m5 (2)

How AI Can Free Up Your Time For Less Busywork and More Innovation

How AI Can Free Up Your Time For Less Busywork and More InnovationAytekin Tank6m5 (1)

The Insurmountable Problem of Formal Reasoning in Large Language Models

The Insurmountable Problem of Formal Reasoning in Large Language ModelsMichael Spencer49m4.7 (6)

A Primer on AI Data Centers

A Primer on AI Data CentersMichael Spencer3m4.7 (3)

I Started Talking to My Computer Instead of Typing. It Changed How I Think.

I Started Talking to My Computer Instead of Typing. It Changed How I Think.Katie Parrott / Working Overtime12m5 (2)

OpenAI Deep Research vs. Google Deep Research

OpenAI Deep Research vs. Google Deep ResearchMichael Spencer14m4.3 (10)