Tap a claim on the ring to put it at the centre.
← Today's models see a thousand times more data than an…
17 connected korrents · 17 moments on record from 7 Sept 2008 to 7 Aug 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: Today's models see a thousand times more data than an eighteen-year-old and are no better for it, so far more data-efficient algorithms must be possible. Today's models see a thousand times more data than an eighteen-year-old and are no better for it, so far more data-efficient algorithms must be possible. Last stated a month ago
30 Jul 2026
JD
Jeff Dean — holds since 2026-07-30 — tap for who they are
Same subject: Today's models are the student who drilled 10,000 hours for the programming contest, which is exactly why what they learn does not carry anywhere else. — tap to centre the map on it Today's models are the student who drilled 10,000 hours for the programming contest, which is exactly why what they learn does not carry anywhere else. Last stated 9 months ago
25 Nov 2025
IS
Ilya Sutskever — holds since 2025-11-25 — 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: Future AI, say in fifteen years, will not be built on the LLM stack; it will have to move to symbolic learning. — tap to centre the map on it Future AI, say in fifteen years, will not be built on the LLM stack; it will have to move to symbolic learning. Last stated a month ago
7 Aug 2026
FC
François Chollet — holds since 2026-08-07 — tap for who they are
Same subject: Models are enormous only because the internet is bad: most of that capacity does memory work, and a better dataset would need far less of it. — tap to centre the map on it Models are enormous only because the internet is bad: most of that capacity does memory work, and a better dataset would need far less of it. Last stated 11 months ago
17 Oct 2025
AK
Andrej Karpathy — holds since 2025-10-17 — tap for who they are
Same subject: We have almost no automated techniques for making a system transfer what it learns, and none of the few we have are used in modern deep learning. — tap to centre the map on it We have almost no automated techniques for making a system transfer what it learns, and none of the few we have are used in modern deep learning. Last stated 11 months ago
26 Sept 2025
RS
Richard Sutton — holds since 2025-09-26 — tap for who they are
Same subject: The bottleneck in AI is no longer the progress of the models but their diffusion — if the models froze today, the economy would still take decades to absorb what already exists. — tap to centre the map on it The bottleneck in AI is no longer the progress of the models but their diffusion — if the models froze today, the economy would still take decades to absorb what already exists. Last stated a month ago
29 Jul 2026
AW
Alexandr Wang — holds since 2026-07-29 — tap for who they are
Same subject: AI will not run out of data, because there is already enough real-world data to build the simulators that generate more of it. — tap to centre the map on it AI will not run out of data, because there is already enough real-world data to build the simulators that generate more of it. Last stated a year ago
23 Jul 2025
DH
Demis Hassabis — holds since 2025-07-23 — tap for who they are
Same subject: Human-level artificial intelligence is plausibly centuries or millennia away, and no trend supports a shorter estimate. — tap to centre the map on it Human-level artificial intelligence is plausibly centuries or millennia away, and no trend supports a shorter estimate. Last stated 3 years ago
13 Dec 2023
SA
Scott Aaronson — holds since 2008-09-07 — tap for who they are
SA
Scott Aaronson — no longer holds since 2023-12-13 — 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
Today's models see a thousand times more data than an eighteen-year-old and are no better for it, so far more data-efficient algorithms must be possible.
Holds JD Jeff DeanRead this korrent →
Today's models are the student who drilled 10,000 hours for the programming contest, which is exactly why what they learn does not carry anywhere else.
Holds IS Ilya Sutskever
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
Future AI, say in fifteen years, will not be built on the LLM stack; it will have to move to symbolic learning.
Holds
Models are enormous only because the internet is bad: most of that capacity does memory work, and a better dataset would need far less of it.
Holds
We have almost no automated techniques for making a system transfer what it learns, and none of the few we have are used in modern deep learning.
Holds RS Richard Sutton
The bottleneck in AI is no longer the progress of the models but their diffusion — if the models froze today, the economy would still take decades to absorb what already exists.
Holds AW Alexandr Wang
AI will not run out of data, because there is already enough real-world data to build the simulators that generate more of it.
Holds DH Demis Hassabis
Human-level artificial intelligence is plausibly centuries or millennia away, and no trend supports a shorter estimate.
No longer holds SA Scott Aaronson
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