Tap a claim on the ring to put it at the centre.
← Large language models are discoveries rather than inventions, closer…
17 connected korrents · 15 moments on record from 26 Aug 2022 to 30 Jun 2026. Nearly all of them are about innovation .
Everything filed under LLMs
LLMs
Everything filed under America
America
Everything filed under design
design
Everything filed under ambition
ambition
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: Large language models are discoveries rather than inventions, closer to looking through a telescope than to engineering an aircraft. Large language models are discoveries rather than inventions, closer to looking through a telescope than to engineering an aircraft. Last stated 3 years ago
14 Dec 2023
JB
Jeff Bezos — holds since 2023-12-14 — 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: 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: America will keep leading on zero-to-one breakthroughs, but it is diffusion that decides how much productivity a technology actually releases, and China is better at that. — tap to centre the map on it America will keep leading on zero-to-one breakthroughs, but it is diffusion that decides how much productivity a technology actually releases, and China is better at that. Last stated a year ago
13 Aug 2025
KJ
Keyu Jin — holds since 2025-08-13 — tap for who they are
Same subject: An invention only matters when the principle, a workable design and an economically viable use for it all arrive together; the idea on its own changes nothing. — tap to centre the map on it An invention only matters when the principle, a workable design and an economically viable use for it all arrive together; the idea on its own changes nothing. Last stated 4 years ago
26 Aug 2022
BD
Bret Devereaux — holds since 2022-08-26 — tap for who they are
Same subject: An inventor's highest ambition should be that the invention is eventually taken for granted and stops being seen as an invention at all. — tap to centre the map on it An inventor's highest ambition should be that the invention is eventually taken for granted and stops being seen as an invention at all. Last stated 3 years ago
14 Dec 2023
JB
Jeff Bezos — holds since 2023-12-14 — tap for who they are
Same subject: AR is the next paradigm shift in computing, the way the GUI, multi-touch and voice were. — tap to centre the map on it AR is the next paradigm shift in computing, the way the GUI, multi-touch and voice were. Last stated a year ago
5 Jun 2025
SP
Sundar Pichai — holds since 2025-06-05 — 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
Same subject: The best use of an LLM for learning is as a souped-up search engine that points you at the right human-written resource. — tap to centre the map on it The best use of an LLM for learning is as a souped-up search engine that points you at the right human-written resource. Last stated 2 months ago
30 Jun 2026
GS
Grant Sanderson — holds since 2026-06-30 — tap for who they are
At the centre
Large language models are discoveries rather than inventions, closer to looking through a telescope than to engineering an aircraft.
Holds JB Jeff BezosRead this korrent →
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
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
America will keep leading on zero-to-one breakthroughs, but it is diffusion that decides how much productivity a technology actually releases, and China is better at that.
Holds KJ Keyu Jin
An invention only matters when the principle, a workable design and an economically viable use for it all arrive together; the idea on its own changes nothing.
Holds BD Bret Devereaux
An inventor's highest ambition should be that the invention is eventually taken for granted and stops being seen as an invention at all.
Holds JB Jeff Bezos
AR is the next paradigm shift in computing, the way the GUI, multi-touch and voice were.
Holds
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
The best use of an LLM for learning is as a souped-up search engine that points you at the right human-written resource.
Holds GS Grant Sanderson