korrents

← Large language models do not reason formally: their performance…

On the map

8 connected korrents · 9 moments on record from 29 Jun 2023 to 22 Apr 2026.

Same subjectSame subjectSame subjectSame subjectSame subjectSame subjectSame subjectSame subject Large language models donot reason formally: theirperformance collapses as a… GM Gary Marcus — holds since 2024-10-11 A language model is no substitute for a well-specified conventional algorithm, so it cannot simply be dropped into a complex problem and trusted. A language model is nosubstitute for a… GM Gary Marcus — holds since 2025-06-07 A language model is not using language at all, because language requires an intention to communicate. A language model is notusing language at all… TC Ted Chiang — holds since 2024-08-31 A language model's apparent mind is mostly our own bias: it predicts text, and leverages our evolved habit of attributing intentionality to anything that acts human. A language model'sapparent mind is mostly… SC Sean Carroll — holds since 2024-04-22 A large language model is the genetic system for language: it stores the dynamics of a structure that until now lived only across human brains. A large language modelis the genetic system… SW Sara Walker — holds since 2024-06-13 A swarm of untrusted volunteers on the internet could improve models and run circles around the frontier labs, because the earth has far more compute than they do. A swarm of untrustedvolunteers on the… AK Andrej Karpathy — holds since 2026-03-20 AI-written code makes formal proof necessary, because human review of all that generated code becomes the bottleneck. AI-written code makesformal proof necessary… MK Martin Kleppmann — holds since 2026-04-22 Almost every major figure in AI has now arrived at the critique of large language models he began making in 2019. Almost every majorfigure in AI has now… GM Gary Marcus — holds since 2025-09-26 AlphaGo and MuZero are far more impressive than large language models, because they play beyond the best humans while the models write middle-school essays. AlphaGo and MuZero arefar more impressive… GH George Hotz — holds since 2023-06-29
same subject