Tap a claim on the ring to put it at the centre.
← Anyone who thinks large language models are a direct route to transformative AGI is kidding themselves.
17 connected korrents · 13 moments on record from 21 Jan 2019 to 3 Sept 2026. Nearly all of them are about AGI .
Everything filed under LLMs
LLMs
Everything filed under Apple
Apple
Everything filed under OpenAI
OpenAI
Everything filed under formal proof
formal proof
Everything filed under energy
energy
Everything filed under AI alignment
AI alignment 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: Anyone who thinks large language models are a direct route to transformative AGI is kidding themselves. Anyone who thinks large language models are a direct route to transformative AGI is kidding themselves. 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 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: 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: 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: AGI is not a finish line to be crossed but a smear with width, and we are already standing on it. — tap to centre the map on it AGI is not a finish line to be crossed but a smear with width, and we are already standing on it. Last stated 4 days ago
3 Sept 2026
PG
Paul Graham — holds since 2026-09-03 — tap for who they are
Same subject: AGI worth the name would combine human adaptiveness with machine reliability, not reproduce human performance including human failures. — tap to centre the map on it AGI worth the name would combine human adaptiveness with machine reliability, not reproduce human performance including human failures. Last stated a year ago
7 Jun 2025
GM
Gary Marcus — holds since 2025-06-07 — tap for who they are
Same subject: AI capabilities are jagged rather than smooth, so the different definitions of human-level AI will be met years apart rather than together. — tap to centre the map on it AI capabilities are jagged rather than smooth, so the different definitions of human-level AI will be met years apart rather than together. Last stated 5 months ago
6 Apr 2026
HT
Helen Toner — holds since 2026-04-06 — 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 4 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
Same subject: A big switch to desktop Linux is coming, at least among developers, because there is enough dissatisfaction with both Apple and Microsoft. — tap to centre the map on it A big switch to desktop Linux is coming, at least among developers, because there is enough dissatisfaction with both Apple and Microsoft. Last stated a year ago
26 Jun 2025
DH
David Heinemeier Hansson — holds since 2025-06-26 — tap for who they are
Same subject: An operating system should put its users on the same level as its maker: no two-tier system where the vendor makes the real thing and you patch around it. — tap to centre the map on it An operating system should put its users on the same level as its maker: no two-tier system where the vendor makes the real thing and you patch around it. Last stated 2 weeks ago
25 Aug 2026
DH
David Heinemeier Hansson — holds since 2026-08-25 — tap for who they are
Same subject: Apple has more reason to stumble now than ever: terribly behind on AI, faltering software quality, rivals catching up on silicon, and a leadership too old to relearn. — tap to centre the map on it Apple has more reason to stumble now than ever: terribly behind on AI, faltering software quality, rivals catching up on silicon, and a leadership too old to relearn. Last stated a year ago
12 Jul 2025
DH
David Heinemeier Hansson — holds since 2025-07-12 — tap for who they are
At the centre
Anyone who thinks large language models are a direct route to transformative AGI is kidding themselves.
Holds GM Gary MarcusRead this korrent →
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
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
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
AGI is not a finish line to be crossed but a smear with width, and we are already standing on it.
Holds
AGI worth the name would combine human adaptiveness with machine reliability, not reproduce human performance including human failures.
Holds GM Gary Marcus
AI capabilities are jagged rather than smooth, so the different definitions of human-level AI will be met years apart rather than together.
Holds HT Helen Toner
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
A big switch to desktop Linux is coming, at least among developers, because there is enough dissatisfaction with both Apple and Microsoft.
Holds
An operating system should put its users on the same level as its maker: no two-tier system where the vendor makes the real thing and you patch around it.
Holds
Apple has more reason to stumble now than ever: terribly behind on AI, faltering software quality, rivals catching up on silicon, and a leadership too old to relearn.
Holds