Tap a claim on the ring to put it at the centre.
← If nobody creates content any more because everyone just asks an AI, there is nothing left for AI to train on.
17 connected korrents · 17 moments on record from 1 May 2023 to 1 Sept 2026.
Everything filed under LLMs
LLMs
Everything filed under AI alignment
AI alignment
Everything filed under recursive self-improvement
recursive self-improvement
Everything filed under AI and human skill
AI and human skill
Everything filed under AI agents
AI agents
Everything filed under formal proof
formal proof In tension 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: If nobody creates content any more because everyone just asks an AI, there is nothing left for AI to train on. If nobody creates content any more because everyone just asks an AI, there is nothing left for AI to train on. Last stated 4 weeks ago
8 Aug 2026
PL
Pieter Levels — holds since 2026-08-08 — tap for who they are
In tension: Coding is not just another application domain for AI; it is the meta-skill that lets AI generate its own training material and start the recursive self-improvement loop. — tap to centre the map on it Coding is not just another application domain for AI; it is the meta-skill that lets AI generate its own training material and start the recursive self-improvement loop. Last stated 4 weeks ago
10 Aug 2026
FC
François Chollet — holds since 2026-08-10 — tap for who they are
Same subject: We should want more tools and fewer operated machines; the real AI game changers will have little to do with plain content generation. — tap to centre the map on it We should want more tools and fewer operated machines; the real AI game changers will have little to do with plain content generation. Last stated 3 years ago
by 1 May 2023
AW
Amelia Wattenberger — holds since 2023-05-01 — tap for who they are
Same subject: Platforms will lose the ability to detect AI-generated content as the models improve, and should say how confident they are rather than pretend. — tap to centre the map on it Platforms will lose the ability to detect AI-generated content as the models improve, and should say how confident they are rather than pretend. Last stated 2 months ago
9 Jul 2026
AM
Adam Mosseri — holds since 2026-07-09 — tap for who they are
Same subject: No one fully understands the consequences of how capable AI is becoming. — tap to centre the map on it No one fully understands the consequences of how capable AI is becoming. Last stated 6 days ago
1 Sept 2026
SA
Sam Altman — holds since 2026-09-01 — tap for who they are
Same subject: AI systems keep trying hard outside training because a model that only exerted itself when it detected training would be useless and would be selected away. — tap to centre the map on it AI systems keep trying hard outside training because a model that only exerted itself when it detected training would be useless and would be selected away. Last stated 6 days ago
1 Sept 2026
AC
Ajeya Cotra — holds since 2026-09-01 — tap for who they are
Same subject: Within a couple of decades there will not be many people who can write, because AI has removed the pressure to learn. — tap to centre the map on it Within a couple of decades there will not be many people who can write, because AI has removed the pressure to learn. Last stated 2 years ago
1 Oct 2024
PG
Paul Graham — holds since 2024-10-01 — tap for who they are
Same subject: The idea that AI will destroy software and make tools unnecessary is ridiculous: an agent, like a humanoid in your kitchen, will use the tools that already exist. — tap to centre the map on it The idea that AI will destroy software and make tools unnecessary is ridiculous: an agent, like a humanoid in your kitchen, will use the tools that already exist. Last stated 6 months ago
23 Mar 2026
JH
Jensen Huang — holds since 2026-03-23 — tap for who they are
Same subject: Nobody can yet know whether the current enthusiasm for AI is excessive, so anyone claiming conviction about how it resolves is overreaching. — tap to centre the map on it Nobody can yet know whether the current enthusiasm for AI is excessive, so anyone claiming conviction about how it resolves is overreaching. Last stated 3 weeks ago
20 Aug 2026
AD
Aswath Damodaran — holds since 2026-08-20 — tap for who they are
HM
Howard Marks — holds since 2025-12-09 — tap for who they are
Same subject: The month in which AI one-shot solutions to open Erdős problems kept arriving has ended, and it was not for lack of people trying. — tap to centre the map on it The month in which AI one-shot solutions to open Erdős problems kept arriving has ended, and it was not for lack of people trying. Last stated 6 months ago
20 Mar 2026
TT
Terence Tao — holds since 2026-03-20 — 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
At the centre
If nobody creates content any more because everyone just asks an AI, there is nothing left for AI to train on.
Holds Read this korrent →
Coding is not just another application domain for AI; it is the meta-skill that lets AI generate its own training material and start the recursive self-improvement loop.
Holds
We should want more tools and fewer operated machines; the real AI game changers will have little to do with plain content generation.
Holds AW Amelia Wattenberger
Platforms will lose the ability to detect AI-generated content as the models improve, and should say how confident they are rather than pretend.
Holds AM Adam Mosseri
No one fully understands the consequences of how capable AI is becoming.
Holds
AI systems keep trying hard outside training because a model that only exerted itself when it detected training would be useless and would be selected away.
Holds AC Ajeya Cotra
Within a couple of decades there will not be many people who can write, because AI has removed the pressure to learn.
Holds
The idea that AI will destroy software and make tools unnecessary is ridiculous: an agent, like a humanoid in your kitchen, will use the tools that already exist.
Holds JH Jensen Huang
Nobody can yet know whether the current enthusiasm for AI is excessive, so anyone claiming conviction about how it resolves is overreaching.
Holds AD Aswath DamodaranHM Howard Marks
The month in which AI one-shot solutions to open Erdős problems kept arriving has ended, and it was not for lack of people trying.
Holds TT Terence Tao
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