Tap a claim on the ring to put it at the centre.
← An open-weight model is already all anyone needs; it is as good as the frontier models.
17 connected korrents · 17 moments on record from 22 Apr 2024 to 4 Sept 2026.
Everything filed under open source
open source
Everything filed under LLMs
LLMs
Everything filed under robotics
robotics
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: An open-weight model is already all anyone needs; it is as good as the frontier models. An open-weight model is already all anyone needs; it is as good as the frontier models. Last stated 2 weeks ago
26 Aug 2026
DH
David Heinemeier Hansson — no longer holds since 2026-08-26 — tap for who they are
Same subject: Open models trailing the frontier by a few months is a good arrangement, because the industry needs a common working space it all has access to. — tap to centre the map on it Open models trailing the frontier by a few months is a good arrangement, because the industry needs a common working space it all has access to. Last stated 6 months ago
20 Mar 2026
AK
Andrej Karpathy — holds since 2026-03-20 — tap for who they are
Same subject: At any given moment the frontier systems are the ones worth worrying about, because by the time open models can do what these agents did, frontier models will be doing something far worse. — tap to centre the map on it At any given moment the frontier systems are the ones worth worrying about, because by the time open models can do what these agents did, frontier models will be doing something far worse. Last stated a week ago
1 Sept 2026
AC
Ajeya Cotra — holds since 2026-09-01 — tap for who they are
Same subject: Frontier models must be cheap enough for anyone to use, because a world in which they are rationed to the wealthiest developers is the wrong world. — tap to centre the map on it Frontier models must be cheap enough for anyone to use, because a world in which they are rationed to the wealthiest developers is the wrong world. Last stated a month ago
29 Jul 2026
AW
Alexandr Wang — holds since 2026-07-29 — tap for who they are
Same subject: The workable model right now is one super agent for a whole company, not a personal agent for every person. — tap to centre the map on it The workable model right now is one super agent for a whole company, not a personal agent for every person. Last stated 4 months ago
24 May 2026
DS
Dan Shipper — holds since 2026-05-24 — tap for who they are
Same subject: A frontier model is measurably more intelligent with no system prompt at all; the prompts that remain are there for the product, not the model. — tap to centre the map on it A frontier model is measurably more intelligent with no system prompt at all; the prompts that remain are there for the product, not the model. 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 not yet a frontier foundation model robust enough for robotics. — tap to centre the map on it There is not yet a frontier foundation model robust enough for robotics. Last stated 4 days ago
4 Sept 2026
FL
Fei-Fei Li — holds since 2026-09-04 — tap for who they are
Same subject: Open-source models cannot keep frontier systems in check, because they will always be much dumber than the frontier. — tap to centre the map on it Open-source models cannot keep frontier systems in check, because they will always be much dumber than the frontier. Last stated a week ago
1 Sept 2026
AC
Ajeya Cotra — holds since 2026-09-01 — tap for who they are
Same subject: Open frontier models will keep being released whether or not anyone wants to stop them, and stopping them would only leave the world less prepared. — tap to centre the map on it Open frontier models will keep being released whether or not anyone wants to stop them, and stopping them would only leave the world less prepared. 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: A tiny language model inventing a plausible-sounding name is the same phenomenon as a large one confidently stating a false fact. — tap to centre the map on it A tiny language model inventing a plausible-sounding name is the same phenomenon as a large one confidently stating a false fact. Last stated 7 months ago
12 Feb 2026
AK
Andrej Karpathy — holds since 2026-02-12 — tap for who they are
Same subject: The memorize-fetch-apply paradigm behind LLMs can reach arbitrary skill given training data, but it cannot adapt to novelty or acquire new skills on the fly. — tap to centre the map on it The memorize-fetch-apply paradigm behind LLMs can reach arbitrary skill given training data, but it cannot adapt to novelty or acquire new skills on the fly. Last stated 2 years ago
20 Dec 2024
FC
François Chollet — holds since 2024-12-20 — tap for who they are
FC
François Chollet — no longer holds since 2024-12-20 — tap for who they are
Same subject: Work on large language models is not progress toward artificial general intelligence, because the models do not understand what they read. — tap to centre the map on it Work on large language models is not progress toward artificial general intelligence, because the models do not understand what they read. Last stated a year ago
30 Jul 2025
AG
Alexey Guzey — holds since 2024-08-09 — tap for who they are
AG
Alexey Guzey — no longer holds since 2025-07-30 — tap for who they are
At the centre
An open-weight model is already all anyone needs; it is as good as the frontier models.
No longer holds Read this korrent →
Open models trailing the frontier by a few months is a good arrangement, because the industry needs a common working space it all has access to.
Holds
At any given moment the frontier systems are the ones worth worrying about, because by the time open models can do what these agents did, frontier models will be doing something far worse.
Holds AC Ajeya Cotra
Frontier models must be cheap enough for anyone to use, because a world in which they are rationed to the wealthiest developers is the wrong world.
Holds AW Alexandr Wang
The workable model right now is one super agent for a whole company, not a personal agent for every person.
Holds DS Dan Shipper
A frontier model is measurably more intelligent with no system prompt at all; the prompts that remain are there for the product, not the model.
Holds
There is not yet a frontier foundation model robust enough for robotics.
Holds FL Fei-Fei Li
Open-source models cannot keep frontier systems in check, because they will always be much dumber than the frontier.
Holds AC Ajeya Cotra
Open frontier models will keep being released whether or not anyone wants to stop them, and stopping them would only leave the world less prepared.
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
A tiny language model inventing a plausible-sounding name is the same phenomenon as a large one confidently stating a false fact.
Holds
The memorize-fetch-apply paradigm behind LLMs can reach arbitrary skill given training data, but it cannot adapt to novelty or acquire new skills on the fly.
No longer holds
Work on large language models is not progress toward artificial general intelligence, because the models do not understand what they read.
No longer holds AG Alexey Guzey