Tap a claim on the ring to put it at the centre.
← The biggest untapped business in AI is advertising inside model…
17 connected korrents · 15 moments on record from 21 Jan 2019 to 3 Sept 2026.
Everything filed under AGI
AGI
Everything filed under LLMs
LLMs
Everything filed under OpenAI
OpenAI
Everything filed under formal proof
formal proof
Everything filed under TypeScript
TypeScript 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 biggest untapped business in AI is advertising inside model outputs, and nobody has yet worked out technically how to place an ad there. The biggest untapped business in AI is advertising inside model outputs, and nobody has yet worked out technically how to place an ad there. Last stated 2 years ago
3 Feb 2025
NL
Nathan Lambert — holds since 2025-02-03 — tap for who they are
Same subject: A lab under real commercial pressure cannot fool itself about whether AI makes it productive, because the output is a model launch every few months. — tap to centre the map on it A lab under real commercial pressure cannot fool itself about whether AI makes it productive, because the output is a model launch every few months. Last stated 7 months ago
13 Feb 2026
DA
Dario Amodei — holds since 2026-02-13 — tap for who they are
Same subject: Large language models start in exactly the wrong place, because they try to get by without a goal and therefore without any sense of better or worse. — tap to centre the map on it Large language models start in exactly the wrong place, because they try to get by without a goal and therefore without any sense of better or worse. Last stated 11 months ago
26 Sept 2025
RS
Richard Sutton — holds since 2025-09-26 — 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
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: The EU AI Act is the cautionary case for regulating early: Europe's language models must obey a rule that was finished before large language models existed. — tap to centre the map on it The EU AI Act is the cautionary case for regulating early: Europe's language models must obey a rule that was finished before large language models existed. Last stated 3 weeks ago
18 Aug 2026
MK
Michael Kratsios — holds since 2026-08-18 — tap for who they are
Same subject: Broad deployment of AI that can learn on the job will very likely produce rapid economic growth for some period of time. — tap to centre the map on it 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 language best suited to AI is simply the one the models have seen most of in training, which is why they do so well on JavaScript, TypeScript and Python. — tap to centre the map on it The language best suited to AI is simply the one the models have seen most of in training, which is why they do so well on JavaScript, TypeScript and Python. Last stated 4 months ago
13 May 2026
AH
Anders Hejlsberg — holds since 2026-05-13 — tap for who they are
Same subject: AI cannot get a product to the quality bar on its own, because it still works in the realm of averages. — tap to centre the map on it AI cannot get a product to the quality bar on its own, because it still works in the realm of averages. Last stated 11 months ago
16 Oct 2025
DF
Dylan Field — holds since 2025-10-16 — tap for who they are
Same subject: A country outside the AI supply chain should just buy the index — which works only in the world where AI ends up commoditised rather than concentrated. — tap to centre the map on it A country outside the AI supply chain should just buy the index — which works only in the world where AI ends up commoditised rather than concentrated. Last stated 3 months ago
4 Jun 2026
AI
Alex Imas — holds since 2026-06-04 — tap for who they are
Same subject: A human being is not an AGI: we lack a huge amount of knowledge and rely on continual learning instead, so continual learning is what superintelligence should mean. — tap to centre the map on it A human being is not an AGI: we lack a huge amount of knowledge and rely on continual learning instead, so continual learning is what superintelligence should mean. Last stated 9 months ago
25 Nov 2025
IS
Ilya Sutskever — holds since 2025-11-25 — tap for who they are
Same subject: A poor country should prioritise owning a piece of AI over retraining its workers, but it should not bet everything on that. — tap to centre the map on it A poor country should prioritise owning a piece of AI over retraining its workers, but it should not bet everything on that. Last stated 3 months ago
4 Jun 2026
PT
Phil Trammell — holds since 2026-06-04 — tap for who they are
Same subject: A startup should not begin life as a nonprofit and bolt a for-profit arm on later, whatever OpenAI's own history suggests. — tap to centre the map on it A startup should not begin life as a nonprofit and bolt a for-profit arm on later, whatever OpenAI's own history suggests. Last stated 2 years ago
18 Mar 2024
SA
Sam Altman — holds since 2024-03-18 — tap for who they are
Same subject: A technique that lets an AI model's reasoning shift outside its visible Chain of Thought is dangerous, both because it works and because a leading lab is willing to deploy it. — tap to centre the map on it A technique that lets an AI model's reasoning shift outside its visible Chain of Thought is dangerous, both because it works and because a leading lab is willing to deploy it. Last stated 5 days ago
3 Sept 2026
ZM
Zvi Mowshowitz — holds since 2026-09-03 — tap for who they are
Same subject: Advertising was a necessary phase for the internet but a momentary industry, and an AI people pay for is better because they know the answers are not influenced by advertisers. — tap to centre the map on it Advertising was a necessary phase for the internet but a momentary industry, and an AI people pay for is better because they know the answers are not influenced by advertisers. Last stated 2 years ago
18 Mar 2024
SA
Sam Altman — holds since 2024-03-18 — 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: Full formal verification is a waste of money for most software: near-perfect is reachable with ordinary techniques at a fraction of the cost. — tap to centre the map on it Full formal verification is a waste of money for most software: near-perfect is reachable with ordinary techniques at a fraction of the cost. Last stated 8 years ago
21 Jan 2019
HW
Hillel Wayne — holds since 2019-01-21 — tap for who they are
Same subject: Lean and tools like GitHub will let experimental mathematics scale far beyond what one mathematician's spaghetti code allows today. — tap to centre the map on it Lean and tools like GitHub will let experimental mathematics scale far beyond what one mathematician's spaghetti code allows today. 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 biggest untapped business in AI is advertising inside model outputs, and nobody has yet worked out technically how to place an ad there.
Holds NL Nathan LambertRead this korrent →
A lab under real commercial pressure cannot fool itself about whether AI makes it productive, because the output is a model launch every few months.
Holds DA Dario Amodei
Large language models start in exactly the wrong place, because they try to get by without a goal and therefore without any sense of better or worse.
Holds RS Richard Sutton
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
Future AI, say in fifteen years, will not be built on the LLM stack; it will have to move to symbolic learning.
Holds
The EU AI Act is the cautionary case for regulating early: Europe's language models must obey a rule that was finished before large language models existed.
Holds MK Michael Kratsios
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 Sutskever
The language best suited to AI is simply the one the models have seen most of in training, which is why they do so well on JavaScript, TypeScript and Python.
Holds AH Anders Hejlsberg
AI cannot get a product to the quality bar on its own, because it still works in the realm of averages.
Holds DF Dylan Field
A country outside the AI supply chain should just buy the index — which works only in the world where AI ends up commoditised rather than concentrated.
Holds AI Alex Imas
A human being is not an AGI: we lack a huge amount of knowledge and rely on continual learning instead, so continual learning is what superintelligence should mean.
Holds IS Ilya Sutskever
A poor country should prioritise owning a piece of AI over retraining its workers, but it should not bet everything on that.
Holds PT Phil Trammell
A startup should not begin life as a nonprofit and bolt a for-profit arm on later, whatever OpenAI's own history suggests.
Holds
A technique that lets an AI model's reasoning shift outside its visible Chain of Thought is dangerous, both because it works and because a leading lab is willing to deploy it.
Holds ZM Zvi Mowshowitz
Advertising was a necessary phase for the internet but a momentary industry, and an AI people pay for is better because they know the answers are not influenced by advertisers.
Holds
Formalising a proof in Lean currently takes about ten times the effort of writing it out: doable, but annoying.
Holds TT Terence Tao
Full formal verification is a waste of money for most software: near-perfect is reachable with ordinary techniques at a fraction of the cost.
Holds HW Hillel Wayne
Lean and tools like GitHub will let experimental mathematics scale far beyond what one mathematician's spaghetti code allows today.
Holds TT Terence Tao