LessWrong (30+ Karma) cover image

“Insofar As I Think LLMs ‘Don’t Really Understand Things’, What Do I Mean By That?” by johnswentworth

LessWrong (30+ Karma)

00:00

Inconsistent Domains in Reasoning

John explores how LLMs form locally consistent chunks but fail to enforce global consistency, causing symbol misuse in proofs.

Play episode from 02:09
Transcript

The AI-powered Podcast Player

Save insights by tapping your headphones, chat with episodes, discover the best highlights - and more!
App store bannerPlay store banner
Get the app