Tap a claim on the ring to put it at the centre.
← Broad deployment of AI that can learn on the job will very likely…
17 connected korrents · 17 moments on record from 22 Apr 2024 to 20 Aug 2026.
Everything filed under LLMs
LLMs
Everything filed under Silicon Valley
Silicon Valley
Everything filed under the cloud
the cloud
Everything filed under AI and jobs
AI and jobs
Everything filed under AGI
AGI
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: Broad deployment of AI that can learn on the job will very likely produce rapid economic growth for some period of time. Broad deployment of AI that can learn on the job will very likely produce rapid economic growth for some period of time. Last stated 9 months ago
25 Nov 2025
IS
Ilya Sutskever — holds since 2025-11-25 — tap for who they are
Same subject: The real danger in AI-driven growth is geographic: 50% growth in and around Silicon Valley and business as usual everywhere else. — tap to centre the map on it The real danger in AI-driven growth is geographic: 50% growth in and around Silicon Valley and business as usual everywhere else. Last stated 7 months ago
13 Feb 2026
DA
Dario Amodei — holds since 2026-02-13 — 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: AI will do to software what the cloud did: expand the market massively rather than crush the margins of the incumbent. — tap to centre the map on it AI will do to software what the cloud did: expand the market massively rather than crush the margins of the incumbent. Last stated 10 months ago
12 Nov 2025
SN
Satya Nadella — holds since 2025-11-12 — tap for who they are
Same subject: We are already in an intelligence explosion and have been for decades, so AI will show up as more of the same exponential rather than a break in it. — tap to centre the map on it We are already in an intelligence explosion and have been for decades, so AI will show up as more of the same exponential rather than a break in it. Last stated 11 months ago
17 Oct 2025
AK
Andrej Karpathy — holds since 2025-10-17 — tap for who they are
Same subject: Most current predictions about AI's imminent impact on the job market are naive. — tap to centre the map on it Most current predictions about AI's imminent impact on the job market are naive. Last stated 11 months ago
25 Sept 2025
AK
Andrej Karpathy — holds since 2025-09-25 — tap for who they are
Same subject: The massive AI build-out is the right thing to be doing, and the only thing that will slow it is supply. — tap to centre the map on it The massive AI build-out is the right thing to be doing, and the only thing that will slow it is supply. Last stated 3 months ago
18 Jun 2026
LT
Lip-Bu Tan — holds since 2026-06-18 — tap for who they are
Same subject: We will have AGI-grade intelligence well before it reaches the economy, because what limits deployment is the cost of running it rather than the capability itself. — tap to centre the map on it We will have AGI-grade intelligence well before it reaches the economy, because what limits deployment is the cost of running it rather than the capability itself. Last stated 2 years ago
3 Feb 2025
DP
Dylan Patel — holds since 2025-02-03 — tap for who they are
Same subject: If AI can build the new theory that crystallises how to think about a subject, it would be surprising if that capability did not spill into the rest of the economy. — tap to centre the map on it If AI can build the new theory that crystallises how to think about a subject, it would be surprising if that capability did not spill into the rest of the economy. Last stated 2 months ago
30 Jun 2026
GS
Grant Sanderson — holds since 2026-06-30 — 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: "Move fast and break things" is the wrong mantra when you are dealing with atoms; the job is to move fast and ship safely. — tap to centre the map on it "Move fast and break things" is the wrong mantra when you are dealing with atoms; the job is to move fast and ship safely. Last stated a month ago
3 Aug 2026
DD
Dmitri Dolgov — holds since 2026-08-03 — tap for who they are
Same subject: DeepSeek's paper was the single most important thing Silicon Valley researchers read in years. — tap to centre the map on it DeepSeek's paper was the single most important thing Silicon Valley researchers read in years. Last stated 8 months ago
8 Jan 2026
JH
Jensen Huang — holds since 2026-01-08 — tap for who they are
Same subject: Moonshots succeed more often than Silicon Valley's use of the word admits -- we actually got to the moon. — tap to centre the map on it Moonshots succeed more often than Silicon Valley's use of the word admits -- we actually got to the moon. Last stated 3 weeks ago
20 Aug 2026
MH
Max Hodak — holds since 2026-08-20 — 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
Broad deployment of AI that can learn on the job will very likely produce rapid economic growth for some period of time.
Holds IS Ilya SutskeverRead this korrent →
The real danger in AI-driven growth is geographic: 50% growth in and around Silicon Valley and business as usual everywhere else.
Holds DA Dario Amodei
Future AI, say in fifteen years, will not be built on the LLM stack; it will have to move to symbolic learning.
Holds
AI will do to software what the cloud did: expand the market massively rather than crush the margins of the incumbent.
Holds SN Satya Nadella
We are already in an intelligence explosion and have been for decades, so AI will show up as more of the same exponential rather than a break in it.
Holds
Most current predictions about AI's imminent impact on the job market are naive.
Holds
The massive AI build-out is the right thing to be doing, and the only thing that will slow it is supply.
Holds LT Lip-Bu Tan
We will have AGI-grade intelligence well before it reaches the economy, because what limits deployment is the cost of running it rather than the capability itself.
Holds DP Dylan Patel
If AI can build the new theory that crystallises how to think about a subject, it would be surprising if that capability did not spill into the rest of the economy.
Holds GS Grant Sanderson
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
"Move fast and break things" is the wrong mantra when you are dealing with atoms; the job is to move fast and ship safely.
Holds DD Dmitri Dolgov
DeepSeek's paper was the single most important thing Silicon Valley researchers read in years.
Holds JH Jensen Huang
Moonshots succeed more often than Silicon Valley's use of the word admits -- we actually got to the moon.
Holds MH Max Hodak
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