Tap a claim on the ring to put it at the centre.
← Concepts are represented with strikingly similar geometry inside large AI models and inside brains.
17 connected korrents · 15 moments on record from 22 Apr 2024 to 31 Aug 2026.
Everything filed under LLMs
LLMs
Everything filed under semiconductors
semiconductors
Everything filed under physics
physics
Everything filed under mathematics
mathematics
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: Concepts are represented with strikingly similar geometry inside large AI models and inside brains. Concepts are represented with strikingly similar geometry inside large AI models and inside brains. Last stated 3 weeks ago
20 Aug 2026
MH
Max Hodak — holds since 2026-08-20 — tap for who they are
Same subject: The brain is very literally a computer, and so is the universe -- this is not a metaphor. — tap to centre the map on it The brain is very literally a computer, and so is the universe -- this is not a metaphor. Last stated 3 weeks ago
20 Aug 2026
MH
Max Hodak — holds since 2026-08-20 — tap for who they are
Same subject: The brain is more parallel than a GPU, and an embodied model should run perception, planning and memory at once rather than one token at a time. — tap to centre the map on it The brain is more parallel than a GPU, and an embodied model should run perception, planning and memory at once rather than one token at a time. Last stated 12 months ago
12 Sept 2025
SL
Sergey Levine — holds since 2025-09-12 — tap for who they are
Same subject: Intelligence looks like a fact of physics: apply enough compute to matter and you get something that thinks. — tap to centre the map on it Intelligence looks like a fact of physics: apply enough compute to matter and you get something that thinks. Last stated 3 weeks ago
20 Aug 2026
MH
Max Hodak — holds since 2026-08-20 — tap for who they are
Same subject: The brain is doing classical computation, not quantum, so everything it does can in principle be mimicked by a classical computer. — tap to centre the map on it The brain is doing classical computation, not quantum, so everything it does can in principle be mimicked by a classical computer. Last stated a year ago
23 Jul 2025
DH
Demis Hassabis — holds since 2025-07-23 — tap for who they are
Same subject: AI models generate more commercially viable ideas than groups of humans, but those ideas are highly similar to each other. — tap to centre the map on it AI models generate more commercially viable ideas than groups of humans, but those ideas are highly similar to each other. Last stated a week ago
31 Aug 2026
EM
Ethan Mollick — holds since 2026-08-31 — tap for who they are
Same subject: Models are far more differentiated from one another than clouds are, so AI will not commoditise the way cloud did. — tap to centre the map on it Models are far more differentiated from one another than clouds are, so AI will not commoditise the way cloud did. Last stated 7 months ago
13 Feb 2026
DA
Dario Amodei — holds since 2026-02-13 — tap for who they are
Same subject: Machine learning is a shallow field compared with mathematics: even its most important ideas can be explained in a couple of minutes. — tap to centre the map on it Machine learning is a shallow field compared with mathematics: even its most important ideas can be explained in a couple of minutes. Last stated 4 weeks ago
11 Aug 2026
RG
Ryan Greenblatt — holds since 2026-08-11 — tap for who they are
Same subject: A model is better thought of as a living creature with a personality you must get to know than as a component you specify. — tap to centre the map on it A model is better thought of as a living creature with a personality you must get to know than as a component you specify. Last stated a month ago
27 Jul 2026
BC
Boris Cherny — holds since 2026-07-27 — 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
Concepts are represented with strikingly similar geometry inside large AI models and inside brains.
Holds MH Max HodakRead this korrent →
The brain is very literally a computer, and so is the universe -- this is not a metaphor.
Holds MH Max Hodak
The brain is more parallel than a GPU, and an embodied model should run perception, planning and memory at once rather than one token at a time.
Holds SL Sergey Levine
Intelligence looks like a fact of physics: apply enough compute to matter and you get something that thinks.
Holds MH Max Hodak
The brain is doing classical computation, not quantum, so everything it does can in principle be mimicked by a classical computer.
Holds DH Demis Hassabis
AI models generate more commercially viable ideas than groups of humans, but those ideas are highly similar to each other.
Holds EM Ethan Mollick
Models are far more differentiated from one another than clouds are, so AI will not commoditise the way cloud did.
Holds DA Dario Amodei
Machine learning is a shallow field compared with mathematics: even its most important ideas can be explained in a couple of minutes.
Holds RG Ryan Greenblatt
A model is better thought of as a living creature with a personality you must get to know than as a component you specify.
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