Tap a claim on the ring to put it at the centre.
← A model you have to fine-tune for each thing you want it to do is not a general-purpose model.
17 connected korrents · 15 moments on record from 22 Apr 2024 to 12 Aug 2026.
Everything filed under LLMs
LLMs
Everything filed under design
design
Everything filed under open source
open source
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: A model you have to fine-tune for each thing you want it to do is not a general-purpose model. A model you have to fine-tune for each thing you want it to do is not a general-purpose model. Last stated 4 weeks ago
12 Aug 2026
CF
Chelsea Finn — holds since 2026-08-12 — tap for who they are
Same subject: Applications will not be wrappers around a model; the model gets wrapped into the application. — tap to centre the map on it Applications will not be wrappers around a model; the model gets wrapped into the application. Last stated 10 months ago
12 Nov 2025
SN
Satya Nadella — holds since 2025-11-12 — tap for who they are
Same subject: A model can produce version two of a product that already exists, but the genuinely new version one still has to be made by people. — tap to centre the map on it A model can produce version two of a product that already exists, but the genuinely new version one still has to be made by people. Last stated 3 months ago
7 Jun 2026
TF
Tony Fadell — holds since 2026-06-07 — tap for who they are
Same subject: Models will end up like databases — many of them, deployed for different uses — rather than one model used everywhere. — tap to centre the map on it Models will end up like databases — many of them, deployed for different uses — rather than one model used everywhere. Last stated 10 months ago
12 Nov 2025
SN
Satya Nadella — holds since 2025-11-12 — tap for who they are
Same subject: Building on a model is unlike any previous software engineering, because the thing you are building on cannot be designed up front. — tap to centre the map on it Building on a model is unlike any previous software engineering, because the thing you are building on cannot be designed up front. Last stated a month ago
27 Jul 2026
BC
Boris Cherny — holds since 2026-07-27 — tap for who they are
Same subject: There is no real impediment to models running their own research loop and improving themselves at a far more rapid rate. — tap to centre the map on it There is no real impediment to models running their own research loop and improving themselves at a far more rapid rate. Last stated a month ago
30 Jul 2026
JD
Jeff Dean — holds since 2026-07-30 — tap for who they are
Same subject: You improve a model you cannot retrain by writing better guidelines and skills for it, not by adjusting its parameters. — tap to centre the map on it You improve a model you cannot retrain by writing better guidelines and skills for it, not by adjusting its parameters. Last stated a month ago
30 Jul 2026
JD
Jeff Dean — holds since 2026-07-30 — tap for who they are
Same subject: Keeping powerful models available only to a chosen few is not a good strategy. — tap to centre the map on it Keeping powerful models available only to a chosen few is not a good strategy. Last stated a month ago
7 Aug 2026
SA
Sam Altman — holds since 2026-08-07 — tap for who they are
Same subject: Reasoning will generalize the way instruction tuning did: add enough verifiable domains and, at some point nobody can yet locate, the rest start working on their own. — tap to centre the map on it Reasoning will generalize the way instruction tuning did: add enough verifiable domains and, at some point nobody can yet locate, the rest start working on their own. Last stated 2 years ago
3 Feb 2025
NL
Nathan Lambert — holds since 2025-02-03 — 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: LLMs can write a large fraction of the tedious code a developer will ever need to write, and most code on most projects is tedious. — tap to centre the map on it LLMs can write a large fraction of the tedious code a developer will ever need to write, and most code on most projects is tedious. Last stated a year ago
2 Jun 2025
TP
Thomas Ptacek — holds since 2025-06-02 — tap for who they are
Same subject: Once a language model reads the results, search can trade precision for recall, because the model does not care that the right link came ninth. — tap to centre the map on it Once a language model reads the results, search can trade precision for recall, because the model does not care that the right link came ninth. Last stated 2 years ago
19 Jun 2024
AS
Aravind Srinivas — holds since 2024-06-19 — tap for who they are
Same subject: The best use of an LLM for learning is as a souped-up search engine that points you at the right human-written resource. — tap to centre the map on it The best use of an LLM for learning is as a souped-up search engine that points you at the right human-written resource. Last stated 2 months ago
30 Jun 2026
GS
Grant Sanderson — holds since 2026-06-30 — tap for who they are
At the centre
A model you have to fine-tune for each thing you want it to do is not a general-purpose model.
Holds CF Chelsea FinnRead this korrent →
Applications will not be wrappers around a model; the model gets wrapped into the application.
Holds SN Satya Nadella
A model can produce version two of a product that already exists, but the genuinely new version one still has to be made by people.
Holds TF Tony Fadell
Models will end up like databases — many of them, deployed for different uses — rather than one model used everywhere.
Holds SN Satya Nadella
Building on a model is unlike any previous software engineering, because the thing you are building on cannot be designed up front.
Holds
There is no real impediment to models running their own research loop and improving themselves at a far more rapid rate.
Holds JD Jeff Dean
You improve a model you cannot retrain by writing better guidelines and skills for it, not by adjusting its parameters.
Holds JD Jeff Dean
Keeping powerful models available only to a chosen few is not a good strategy.
Holds
Reasoning will generalize the way instruction tuning did: add enough verifiable domains and, at some point nobody can yet locate, the rest start working on their own.
Holds NL Nathan Lambert
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
LLMs can write a large fraction of the tedious code a developer will ever need to write, and most code on most projects is tedious.
Holds
Once a language model reads the results, search can trade precision for recall, because the model does not care that the right link came ninth.
Holds AS Aravind Srinivas
The best use of an LLM for learning is as a souped-up search engine that points you at the right human-written resource.
Holds GS Grant Sanderson