Tap a claim on the ring to put it at the centre.
← The marginal cost of running any AI model will fall to approximately zero.
17 connected korrents · 16 moments on record from 7 Sept 2022 to 1 Sept 2026.
Everything filed under LLMs
LLMs
Everything filed under innovation
innovation
Everything filed under AI agents
AI agents
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 marginal cost of running any AI model will fall to approximately zero. The marginal cost of running any AI model will fall to approximately zero. Last stated a month ago
3 Aug 2026
CP
Chamath Palihapitiya — holds since 2026-08-03 — tap for who they are
Same subject: Falling AI costs make AI safer rather than more dangerous, because a cheap AI ends up surrounded by millions of other AIs monitoring it. — tap to centre the map on it Falling AI costs make AI safer rather than more dangerous, because a cheap AI ends up surrounded by millions of other AIs monitoring it. Last stated 8 months ago
8 Jan 2026
JH
Jensen Huang — holds since 2026-01-08 — tap for who they are
Same subject: When the subsidies behind AI pricing run out, the companies that embraced AI programming will cut back on it. — tap to centre the map on it When the subsidies behind AI pricing run out, the companies that embraced AI programming will cut back on it. Last stated 2 months ago
24 Jun 2026
NE
NeetCode — holds since 2026-06-24 — tap for who they are
Same subject: AI has driven the cost of generating scientific ideas to almost zero, and just as with cheap communication before it, that by itself creates no abundance. — tap to centre the map on it AI has driven the cost of generating scientific ideas to almost zero, and just as with cheap communication before it, that by itself creates no abundance. Last stated 6 months ago
20 Mar 2026
TT
Terence Tao — holds since 2026-03-20 — tap for who they are
Same subject: A competitor six months or a year behind the frontier can stay close, because the cost of AI falls more than tenfold every year. — tap to centre the map on it A competitor six months or a year behind the frontier can stay close, because the cost of AI falls more than tenfold every year. Last stated 8 months ago
8 Jan 2026
JH
Jensen Huang — holds since 2026-01-08 — tap for who they are
Same subject: If nobody creates content any more because everyone just asks an AI, there is nothing left for AI to train on. — tap to centre the map on it If nobody creates content any more because everyone just asks an AI, there is nothing left for AI to train on. Last stated a month ago
8 Aug 2026
PL
Pieter Levels — holds since 2026-08-08 — tap for who they are
Same subject: An AI as good as a top researcher will not be priced like one, because it competes against the other labs rather than against humans. — tap to centre the map on it An AI as good as a top researcher will not be priced like one, because it competes against the other labs rather than against humans. Last stated a year ago
15 Aug 2025
CH
Casey Handmer — holds since 2025-08-15 — tap for who they are
Same subject: The cost of compute is the only intrinsic limit on AI self-replication; every other constraint on agents will have to be built by humans. — tap to centre the map on it The cost of compute is the only intrinsic limit on AI self-replication; every other constraint on agents will have to be built by humans. Last stated a week ago
1 Sept 2026
DB
Dean W. Ball — holds since 2026-09-01 — tap for who they are
Same subject: Token prices have stayed flat because labs deliberately kept models smaller than expected in order to get more experimental cycles. — tap to centre the map on it Token prices have stayed flat because labs deliberately kept models smaller than expected in order to get more experimental cycles. Last stated 4 weeks ago
11 Aug 2026
RG
Ryan Greenblatt — holds since 2026-08-11 — tap for who they are
Same subject: A country cannot have radical technological breakthroughs and also refuse to tolerate uncomfortably rich people, because the financial system it resents is what funds the innovation. — tap to centre the map on it A country cannot have radical technological breakthroughs and also refuse to tolerate uncomfortably rich people, because the financial system it resents is what funds the innovation. Last stated a year ago
13 Aug 2025
KJ
Keyu Jin — holds since 2025-08-13 — tap for who they are
Same subject: A model company may face a winner's curse: it does all the hard innovation and is then one copy away from being commoditised. — tap to centre the map on it A model company may face a winner's curse: it does all the hard innovation and is then one copy away from being commoditised. Last stated 10 months ago
12 Nov 2025
SN
Satya Nadella — holds since 2025-11-12 — tap for who they are
Same subject: A society cannot morally be based on the way evolution works, even though competition is what drives innovation. — tap to centre the map on it A society cannot morally be based on the way evolution works, even though competition is what drives innovation. Last stated 4 years ago
7 Sept 2022
NL
Nick Lane — holds since 2022-09-07 — 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
At the centre
The marginal cost of running any AI model will fall to approximately zero.
Holds CP Chamath PalihapitiyaRead this korrent →
Falling AI costs make AI safer rather than more dangerous, because a cheap AI ends up surrounded by millions of other AIs monitoring it.
Holds JH Jensen Huang
When the subsidies behind AI pricing run out, the companies that embraced AI programming will cut back on it.
Holds NE NeetCode
AI has driven the cost of generating scientific ideas to almost zero, and just as with cheap communication before it, that by itself creates no abundance.
Holds TT Terence Tao
A competitor six months or a year behind the frontier can stay close, because the cost of AI falls more than tenfold every year.
Holds JH Jensen Huang
If nobody creates content any more because everyone just asks an AI, there is nothing left for AI to train on.
Holds
An AI as good as a top researcher will not be priced like one, because it competes against the other labs rather than against humans.
Holds CH Casey Handmer
The cost of compute is the only intrinsic limit on AI self-replication; every other constraint on agents will have to be built by humans.
Holds
Token prices have stayed flat because labs deliberately kept models smaller than expected in order to get more experimental cycles.
Holds RG Ryan Greenblatt
A country cannot have radical technological breakthroughs and also refuse to tolerate uncomfortably rich people, because the financial system it resents is what funds the innovation.
Holds KJ Keyu Jin
A model company may face a winner's curse: it does all the hard innovation and is then one copy away from being commoditised.
Holds SN Satya Nadella
A society cannot morally be based on the way evolution works, even though competition is what drives innovation.
Holds NL Nick Lane
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