Tap a claim on the ring to put it at the centre.
← The relational story only holds if a human is not like a horse:…
17 connected korrents · 15 moments on record from 28 Jul 2023 to 7 Sept 2026.
Everything filed under LLMs
LLMs
Everything filed under Google
Google
Everything filed under formal proof
formal proof 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 Same subject Same subject Read this korrent: The relational story only holds if a human is not like a horse: replacing them has to lower the value of the output, not just change the input. The relational story only holds if a human is not like a horse: replacing them has to lower the value of the output, not just change the input. Last stated 3 months ago
4 Jun 2026
AI
Alex Imas — holds since 2026-06-04 — tap for who they are
Same subject: Some firms are laying people off mainly so as not to look behind on AI, in a cascade of keeping up with the Joneses. — tap to centre the map on it Some firms are laying people off mainly so as not to look behind on AI, in a cascade of keeping up with the Joneses. Last stated 3 months ago
4 Jun 2026
AI
Alex Imas — holds since 2026-06-04 — tap for who they are
Same subject: An “AI trained on person X” cannot stand in for that person, because people change their minds in light of new information and the model does not. — tap to centre the map on it An “AI trained on person X” cannot stand in for that person, because people change their minds in light of new information and the model does not. Last stated yesterday
7 Sept 2026
GO
Gergely Orosz — holds since 2026-09-07 — tap for who they are
Same subject: Entertainment without humans at the heart of it does not work: storytelling is a scarce human skill, and characters without that humanity are less compelling. — tap to centre the map on it Entertainment without humans at the heart of it does not work: storytelling is a scarce human skill, and characters without that humanity are less compelling. Last stated 2 months ago
19 Jul 2026
ES
Elizabeth Stone — holds since 2026-07-19 — tap for who they are
Same subject: A model may have a worldview of its own, but it can never be placed above a person under any circumstance. — tap to centre the map on it A model may have a worldview of its own, but it can never be placed above a person under any circumstance. Last stated 3 months ago
3 Jun 2026
KH
Kelsey Hightower — holds since 2026-06-03 — tap for who they are
Same subject: The Bitter Lesson is misread as being about scale; it is about refusing to add human priors, because a clever specific fix always loses to a simple scalable one. — tap to centre the map on it The Bitter Lesson is misread as being about scale; it is about refusing to add human priors, because a clever specific fix always loses to a simple scalable one. Last stated 2 years ago
3 Feb 2025
NL
Nathan Lambert — holds since 2025-02-03 — tap for who they are
Same subject: People value a human-made good for the connection to its maker, which is why the premium disappears once five hundred copies exist. — tap to centre the map on it People value a human-made good for the connection to its maker, which is why the premium disappears once five hundred copies exist. Last stated 3 months ago
4 Jun 2026
AI
Alex Imas — holds since 2026-06-04 — tap for who they are
Same subject: How you feel about AI succession mostly reflects how good you think the present human situation is — and it is pretty bad. — tap to centre the map on it How you feel about AI succession mostly reflects how good you think the present human situation is — and it is pretty bad. Last stated 11 months ago
26 Sept 2025
RS
Richard Sutton — holds since 2025-09-26 — tap for who they are
Same subject: Current AI models are worse colleagues than humans, because they routinely imply they did a task they did not actually do. — tap to centre the map on it Current AI models are worse colleagues than humans, because they routinely imply they did a task they did not actually do. Last stated 4 weeks ago
11 Aug 2026
RG
Ryan Greenblatt — holds since 2026-08-11 — 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: 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: Formal verification is about to become economical, because models are getting good enough at writing the proofs that humans no longer have to. — tap to centre the map on it Formal verification is about to become economical, because models are getting good enough at writing the proofs that humans no longer have to. Last stated 5 months ago
22 Apr 2026
MK
Martin Kleppmann — holds since 2026-04-22 — 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: 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
At the centre
The relational story only holds if a human is not like a horse: replacing them has to lower the value of the output, not just change the input.
Holds AI Alex ImasRead this korrent →
Some firms are laying people off mainly so as not to look behind on AI, in a cascade of keeping up with the Joneses.
Holds AI Alex Imas
An “AI trained on person X” cannot stand in for that person, because people change their minds in light of new information and the model does not.
Holds
Entertainment without humans at the heart of it does not work: storytelling is a scarce human skill, and characters without that humanity are less compelling.
Holds ES Elizabeth Stone
A model may have a worldview of its own, but it can never be placed above a person under any circumstance.
Holds KH Kelsey Hightower
The Bitter Lesson is misread as being about scale; it is about refusing to add human priors, because a clever specific fix always loses to a simple scalable one.
Holds NL Nathan Lambert
People value a human-made good for the connection to its maker, which is why the premium disappears once five hundred copies exist.
Holds AI Alex Imas
How you feel about AI succession mostly reflects how good you think the present human situation is — and it is pretty bad.
Holds RS Richard Sutton
Current AI models are worse colleagues than humans, because they routinely imply they did a task they did not actually do.
Holds RG Ryan Greenblatt
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
AI-written code makes formal proof necessary, because human review of all that generated code becomes the bottleneck.
Holds MK Martin Kleppmann
Formal verification is about to become economical, because models are getting good enough at writing the proofs that humans no longer have to.
Holds MK Martin Kleppmann
Formalising a proof in Lean currently takes about ten times the effort of writing it out: doable, but annoying.
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