Tap a claim on the ring to put it at the centre.
← Reasoning will generalize the way instruction tuning did: add enough…
17 connected korrents · 16 moments on record from 21 Jan 2019 to 3 Sept 2026.
Everything filed under Apple
Apple
Everything filed under LLMs
LLMs
Everything filed under OpenAI
OpenAI
Everything filed under formal proof
formal proof
Everything filed under scaling laws
scaling laws 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: Reasoning will generalize the way instruction tuning did: add enough verifiable domains and, at some point nobody can yet locate, the rest start working on their own. Reasoning will generalize the way instruction tuning did: add enough verifiable domains and, at some point nobody can yet locate, the rest start working on their own. Last stated 2 years ago
3 Feb 2025
NL
Nathan Lambert — holds since 2025-02-03 — tap for who they are
Same subject: RL environments exist to make a model generalise, not to teach it each skill one at a time — exactly as pre-training does. — tap to centre the map on it RL environments exist to make a model generalise, not to teach it each skill one at a time — exactly as pre-training does. Last stated 7 months ago
13 Feb 2026
DA
Dario Amodei — holds since 2026-02-13 — tap for who they are
Same subject: Context has two budgets, not one: the information budget everyone thinks about, and an instruction budget, where conflicting instructions cost the model real computation to ignore. — tap to centre the map on it Context has two budgets, not one: the information budget everyone thinks about, and an instruction budget, where conflicting instructions cost the model real computation to ignore. Last stated 2 months ago
15 Jul 2026
DH
Dex Horthy — holds since 2026-07-15 — 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: 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: Models already generalise substantially from tasks that can be verified to tasks that cannot. — tap to centre the map on it Models already generalise substantially from tasks that can be verified to tasks that cannot. Last stated 7 months ago
13 Feb 2026
DA
Dario Amodei — holds since 2026-02-13 — tap for who they are
Same subject: Performance work used to mean half a day reading traces before writing a single fix, and language models have collapsed that step to minutes. — tap to centre the map on it Performance work used to mean half a day reading traces before writing a single fix, and language models have collapsed that step to minutes. Last stated 3 weeks ago
19 Aug 2026
AO
Addy Osmani — holds since 2026-08-19 — tap for who they are
Same subject: Letting more people write software in natural language does not reduce the work; it snowballs the amount of software that has to be maintained. — tap to centre the map on it Letting more people write software in natural language does not reduce the work; it snowballs the amount of software that has to be maintained. Last stated a year ago
22 Mar 2025
TH
ThePrimeagen — holds since 2025-03-22 — 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 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
Reasoning will generalize the way instruction tuning did: add enough verifiable domains and, at some point nobody can yet locate, the rest start working on their own.
Holds NL Nathan LambertRead this korrent →
RL environments exist to make a model generalise, not to teach it each skill one at a time — exactly as pre-training does.
Holds DA Dario Amodei
Context has two budgets, not one: the information budget everyone thinks about, and an instruction budget, where conflicting instructions cost the model real computation to ignore.
Holds DH Dex Horthy
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
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
Models already generalise substantially from tasks that can be verified to tasks that cannot.
Holds DA Dario Amodei
Performance work used to mean half a day reading traces before writing a single fix, and language models have collapsed that step to minutes.
Holds AO Addy Osmani
Letting more people write software in natural language does not reduce the work; it snowballs the amount of software that has to be maintained.
Holds TH ThePrimeagen
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 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