Tap a claim on the ring to put it at the centre.
← Because an individual is an expert in at most one thing, an LLM's…
17 connected korrents · 16 moments on record from 21 Jan 2019 to 4 Jun 2026.
Everything filed under LLMs
LLMs
Everything filed under formal proof
formal proof
Everything filed under Google
Google
Everything filed under AGI
AGI
Everything filed under AI alignment
AI alignment Cannot both be true In tension Same subject Same subject Same subject Same subject Same subject Same subject Same subject Same subject Same subject Same subject Same subject Same subject Same subject Same subject Same subject Read this korrent: Because an individual is an expert in at most one thing, an LLM's broad shallow expertise lets them do things they could not do before, whereas an organisation only gets better at what it already did. Because an individual is an expert in at most one thing, an LLM's broad shallow expertise lets them do things they could not do before, whereas an organisation only gets better at what it already did. Last stated a year ago
7 Apr 2025
AK
Andrej Karpathy — holds since 2025-04-07 — tap for who they are
Cannot both be true: Because of hallucination risk, you should use AI first on topics you already understand — tap to centre the map on it Because of hallucination risk, you should use AI first on topics you already understand Last stated a year ago
23 Jun 2025
EM
Ethan Mollick — holds since 2025-06-23 — tap for who they are
In tension: The mathematical community as a whole is a superintelligent entity that no single mathematician comes close to replicating. — tap to centre the map on it The mathematical community as a whole is a superintelligent entity that no single mathematician comes close to replicating. Last stated a year ago
14 Jun 2025
TT
Terence Tao — holds since 2025-06-14 — tap for who they are
Same subject: A language model is no substitute for a well-specified conventional algorithm, so it cannot simply be dropped into a complex problem and trusted. — tap to centre the map on it A language model is no substitute for a well-specified conventional algorithm, so it cannot simply be dropped into a complex problem and trusted. Last stated a year ago
7 Jun 2025
GM
Gary Marcus — holds since 2025-06-07 — tap for who they are
Same subject: A language model is not using language at all, because language requires an intention to communicate. — tap to centre the map on it A language model is not using language at all, because language requires an intention to communicate. Last stated 2 years ago
31 Aug 2024
TC
Ted Chiang — holds since 2024-08-31 — tap for who they are
Same subject: 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. — tap to centre the map on it 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. Last stated 2 years ago
22 Apr 2024
SC
Sean Carroll — holds since 2024-04-22 — tap for who they are
Same subject: 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. — tap to centre the map on it 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. Last stated 2 years ago
13 Jun 2024
SW
Sara Walker — holds since 2024-06-13 — tap for who they are
Same subject: 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. — tap to centre the map on it 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. Last stated 6 months ago
20 Mar 2026
AK
Andrej Karpathy — holds since 2026-03-20 — tap for who they are
Same subject: AI-written code makes formal proof necessary, because human review of all that generated code becomes the bottleneck. — tap to centre the map on it AI-written code makes formal proof necessary, because human review of all that generated code becomes the bottleneck. Last stated 5 months ago
22 Apr 2026
MK
Martin Kleppmann — holds since 2026-04-22 — tap for who they are
Same subject: Almost every major figure in AI has now arrived at the critique of large language models he began making in 2019. — tap to centre the map on it Almost every major figure in AI has now arrived at the critique of large language models he began making in 2019. Last stated 11 months ago
26 Sept 2025
GM
Gary Marcus — holds since 2025-09-26 — tap for who they are
Same subject: 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. — tap to centre the map on it 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. Last stated 3 years ago
29 Jun 2023
GH
George Hotz — holds since 2023-06-29 — tap for who they are
Same subject: Formalising a proof in Lean currently takes about ten times the effort of writing it out: doable, but annoying. — tap to centre the map on it Formalising a proof in Lean currently takes about ten times the effort of writing it out: doable, but annoying. Last stated a year ago
14 Jun 2025
TT
Terence Tao — holds since 2025-06-14 — tap for who they are
Same subject: Full formal verification is a waste of money for most software: near-perfect is reachable with ordinary techniques at a fraction of the cost. — tap to centre the map on it Full formal verification is a waste of money for most software: near-perfect is reachable with ordinary techniques at a fraction of the cost. Last stated 8 years ago
21 Jan 2019
HW
Hillel Wayne — holds since 2019-01-21 — tap for who they are
Same subject: Lean and tools like GitHub will let experimental mathematics scale far beyond what one mathematician's spaghetti code allows today. — tap to centre the map on it Lean and tools like GitHub will let experimental mathematics scale far beyond what one mathematician's spaghetti code allows today. Last stated a year ago
14 Jun 2025
TT
Terence Tao — holds since 2025-06-14 — tap for who they are
Same subject: A company's staff-engineer bar should be set against the best companies in the industry rather than against its own history, which is what makes title inflation a real cost. — tap to centre the map on it A company's staff-engineer bar should be set against the best companies in the industry rather than against its own history, which is what makes title inflation a real cost. Last stated 5 months ago
1 Apr 2026
TP
Thuan Pham — holds since 2026-04-01 — tap for who they are
Same subject: A crewed rocket cannot be made safe by making the booster reliable, so the only real way to improve safety is to carry an escape system. — tap to centre the map on it A crewed rocket cannot be made safe by making the booster reliable, so the only real way to improve safety is to carry an escape system. Last stated 3 years ago
14 Dec 2023
JB
Jeff Bezos — holds since 2023-12-14 — tap for who they are
Same subject: A monopolist that can no longer grow by winning new users can only grow by making its product worse for the users it already has. — tap to centre the map on it A monopolist that can no longer grow by winning new users can only grow by making its product worse for the users it already has. Last stated 3 years ago
28 Jul 2023
CD
Cory Doctorow — holds since 2023-07-28 — tap for who they are
Same subject: A country outside the AI supply chain should just buy the index — which works only in the world where AI ends up commoditised rather than concentrated. — tap to centre the map on it A country outside the AI supply chain should just buy the index — which works only in the world where AI ends up commoditised rather than concentrated. Last stated 3 months ago
4 Jun 2026
AI
Alex Imas — holds since 2026-06-04 — tap for who they are
At the centre
Because an individual is an expert in at most one thing, an LLM's broad shallow expertise lets them do things they could not do before, whereas an organisation only gets better at what it already did.
Holds Read this korrent →
Because of hallucination risk, you should use AI first on topics you already understand
Holds EM Ethan Mollick
The mathematical community as a whole is a superintelligent entity that no single mathematician comes close to replicating.
Holds TT Terence Tao
A language model is no substitute for a well-specified conventional algorithm, so it cannot simply be dropped into a complex problem and trusted.
Holds GM Gary Marcus
A language model is not using language at all, because language requires an intention to communicate.
Holds TC Ted Chiang
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.
Holds SC Sean Carroll
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.
Holds SW Sara Walker
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.
Holds
AI-written code makes formal proof necessary, because human review of all that generated code becomes the bottleneck.
Holds MK Martin Kleppmann
Almost every major figure in AI has now arrived at the critique of large language models he began making in 2019.
Holds GM Gary Marcus
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.
Holds GH George Hotz
Formalising a proof in Lean currently takes about ten times the effort of writing it out: doable, but annoying.
Holds TT Terence Tao
Full formal verification is a waste of money for most software: near-perfect is reachable with ordinary techniques at a fraction of the cost.
Holds HW Hillel Wayne
Lean and tools like GitHub will let experimental mathematics scale far beyond what one mathematician's spaghetti code allows today.
Holds TT Terence Tao
A company's staff-engineer bar should be set against the best companies in the industry rather than against its own history, which is what makes title inflation a real cost.
Holds TP Thuan Pham
A crewed rocket cannot be made safe by making the booster reliable, so the only real way to improve safety is to carry an escape system.
Holds JB Jeff Bezos
A monopolist that can no longer grow by winning new users can only grow by making its product worse for the users it already has.
Holds CD Cory Doctorow
A country outside the AI supply chain should just buy the index — which works only in the world where AI ends up commoditised rather than concentrated.
Holds AI Alex Imas