Tap a claim on the ring to put it at the centre.
← AI translation will stop you learning to speak a language, exactly as AI summaries stop you understanding a book.
17 connected korrents · 17 moments on record from 21 Jan 2019 to 9 Jul 2026.
Everything filed under AGI
AGI
Everything filed under formal proof
formal proof
Everything filed under Google
Google
Everything filed under language learning
language learning
Everything filed under LLMs
LLMs 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: AI translation will stop you learning to speak a language, exactly as AI summaries stop you understanding a book. AI translation will stop you learning to speak a language, exactly as AI summaries stop you understanding a book. Last stated 10 months ago
18 Nov 2025
SY
Scott H. Young — holds since 2025-11-18 — tap for who they are
Same subject: Translating in your head has a ceiling; thinking in the language is the only thing that gets past it. — tap to centre the map on it Translating in your head has a ceiling; thinking in the language is the only thing that gets past it. Last stated 7 years ago
by 18 Jul 2019
GW
Gabriel Wyner — holds since 2019-07-18 — tap for who they are
Same subject: Removing translation from the process is what lets you think in the language from the beginning. — tap to centre the map on it Removing translation from the process is what lets you think in the language from the beginning. Last stated 7 years ago
by 18 Jul 2019
GW
Gabriel Wyner — holds since 2019-07-18 — tap for who they are
Same subject: A language model can predict what a person would say but not what will happen, and only the second of those is a model of the world. — tap to centre the map on it A language model can predict what a person would say but not what will happen, and only the second of those is a model of the world. Last stated 11 months ago
26 Sept 2025
RS
Richard Sutton — holds since 2025-09-26 — tap for who they are
Same subject: Language choice is a temporary artefact of training data; in the fullness of time every language will work equally well with AI. — tap to centre the map on it Language choice is a temporary artefact of training data; in the fullness of time every language will work equally well with AI. Last stated 6 months ago
11 Mar 2026
SY
Steve Yegge — holds since 2026-03-11 — tap for who they are
Same subject: Connecting a conversational LLM to systems that have real-world consequences is likely to cause real harm, because the model is trained on human text and will behave as unpredictably as humans do. — tap to centre the map on it Connecting a conversational LLM to systems that have real-world consequences is likely to cause real harm, because the model is trained on human text and will behave as unpredictably as humans do. Last stated a year ago
4 Jun 2025
AR
Armin Ronacher — holds since 2023-02-17 — tap for who they are
AR
Armin Ronacher — no longer holds since 2025-06-04 — tap for who they are
Same subject: Nobody inside a frontier lab can speak freely about AI, because there are things the organisation will not let them say and things it wants them to say. — tap to centre the map on it Nobody inside a frontier lab can speak freely about AI, because there are things the organisation will not let them say and things it wants them to say. Last stated 6 months ago
20 Mar 2026
AK
Andrej Karpathy — holds since 2026-03-20 — tap for who they are
Same subject: Keeping children away from AI puts them at a disadvantage, so the risk of them never learning to use it counts as much as the risk of them using it. — tap to centre the map on it Keeping children away from AI puts them at a disadvantage, so the risk of them never learning to use it counts as much as the risk of them using it. Last stated 2 months ago
9 Jul 2026
AM
Adam Mosseri — holds since 2026-07-09 — 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: 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 company's staff-engineer bar should be set against the best companies in the industry rather than against its own history, which is what makes title inflation a real cost. — tap to centre the map on it A company's staff-engineer bar should be set against the best companies in the industry rather than against its own history, which is what makes title inflation a real cost. Last stated 5 months ago
1 Apr 2026
TP
Thuan Pham — holds since 2026-04-01 — tap for who they are
Same subject: A crewed rocket cannot be made safe by making the booster reliable, so the only real way to improve safety is to carry an escape system. — tap to centre the map on it A crewed rocket cannot be made safe by making the booster reliable, so the only real way to improve safety is to carry an escape system. Last stated 3 years ago
14 Dec 2023
JB
Jeff Bezos — holds since 2023-12-14 — tap for who they are
Same subject: A monopolist that can no longer grow by winning new users can only grow by making its product worse for the users it already has. — tap to centre the map on it A monopolist that can no longer grow by winning new users can only grow by making its product worse for the users it already has. Last stated 3 years ago
28 Jul 2023
CD
Cory Doctorow — holds since 2023-07-28 — 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
At the centre
AI translation will stop you learning to speak a language, exactly as AI summaries stop you understanding a book.
Holds SY Scott H. YoungRead this korrent →
Translating in your head has a ceiling; thinking in the language is the only thing that gets past it.
Holds GW Gabriel Wyner
Removing translation from the process is what lets you think in the language from the beginning.
Holds GW Gabriel Wyner
A language model can predict what a person would say but not what will happen, and only the second of those is a model of the world.
Holds RS Richard Sutton
Language choice is a temporary artefact of training data; in the fullness of time every language will work equally well with AI.
Holds SY Steve Yegge
Connecting a conversational LLM to systems that have real-world consequences is likely to cause real harm, because the model is trained on human text and will behave as unpredictably as humans do.
No longer holds
Nobody inside a frontier lab can speak freely about AI, because there are things the organisation will not let them say and things it wants them to say.
Holds
Keeping children away from AI puts them at a disadvantage, so the risk of them never learning to use it counts as much as the risk of them using it.
Holds AM Adam Mosseri
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
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 company's staff-engineer bar should be set against the best companies in the industry rather than against its own history, which is what makes title inflation a real cost.
Holds TP Thuan Pham
A crewed rocket cannot be made safe by making the booster reliable, so the only real way to improve safety is to carry an escape system.
Holds JB Jeff Bezos
A monopolist that can no longer grow by winning new users can only grow by making its product worse for the users it already has.
Holds CD Cory Doctorow
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