Tap a claim on the ring to put it at the centre.
← No single person can understand a result like the Higgs boson in…
17 connected korrents · 13 moments on record from 3 Dec 2023 to 26 Aug 2026.
Everything filed under LLMs
LLMs
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: No single person can understand a result like the Higgs boson in depth, and that is what a paper with a thousand authors actually means. No single person can understand a result like the Higgs boson in depth, and that is what a paper with a thousand authors actually means. Last stated 5 months ago
7 Apr 2026
MN
Michael Nielsen — holds since 2026-04-07 — tap for who they are
Same subject: Programmers should be reading research papers and crawling their references, and the fact that almost none of them do is a bigger gap than any book recommendation could close. — tap to centre the map on it Programmers should be reading research papers and crawling their references, and the fact that almost none of them do is a bigger gap than any book recommendation could close. Last stated 2 weeks ago
26 Aug 2026
CM
Casey Muratori — holds since 2026-08-26 — tap for who they are
Same subject: The lesson of the LHC is a cautionary one: you must not assume what is there before it has actually been found. — tap to centre the map on it The lesson of the LHC is a cautionary one: you must not assume what is there before it has actually been found. Last stated 3 years ago
3 Dec 2023
LR
Lisa Randall — holds since 2023-12-03 — tap for who they are
Same subject: Large language models are a bad way to do science, because they have been fed so much that nobody knows what they already knew. — tap to centre the map on it Large language models are a bad way to do science, because they have been fed so much that nobody knows what they already knew. Last stated 11 months ago
26 Sept 2025
RS
Richard Sutton — holds since 2025-09-26 — tap for who they are
Same subject: There is probably no bottom level of reality we will ever reach; physics will keep penetrating layers without ever arriving at the last one. — tap to centre the map on it There is probably no bottom level of reality we will ever reach; physics will keep penetrating layers without ever arriving at the last one. Last stated 3 years ago
3 Dec 2023
LR
Lisa Randall — holds since 2023-12-03 — tap for who they are
Same subject: A stream of AI-written papers with any error rate at all becomes insufferable, because finding the error costs more than the paper is worth even at ninety-nine percent. — tap to centre the map on it A stream of AI-written papers with any error rate at all becomes insufferable, because finding the error costs more than the paper is worth even at ninety-nine percent. Last stated 2 months ago
30 Jun 2026
GS
Grant Sanderson — holds since 2026-06-30 — tap for who they are
Same subject: A self-respecting theoretical physicist kills most of their own ideas rather than waiting for somebody else to do it. — tap to centre the map on it A self-respecting theoretical physicist kills most of their own ideas rather than waiting for somebody else to do it. Last stated a year ago
5 May 2025
JL
Janna Levin — holds since 2025-05-05 — tap for who they are
Same subject: Group theory took a hundred years to travel from one man's hunch to something the mathematical community agreed was good, passing through many heads on the way. — tap to centre the map on it Group theory took a hundred years to travel from one man's hunch to something the mathematical community agreed was good, passing through many heads on the way. Last stated 2 months ago
30 Jun 2026
GS
Grant Sanderson — holds since 2026-06-30 — tap for who they are
Same subject: The hypotheses AI 'co-scientist' systems are producing are ones the literature already contains, and the publicity around them does not say so. — tap to centre the map on it The hypotheses AI 'co-scientist' systems are producing are ones the literature already contains, and the publicity around them does not say so. Last stated 3 months ago
27 May 2026
DL
Derek Lowe — holds since 2026-05-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: A far-fetched idea earns its place in physics only when you can go out and look for its observational consequences. — tap to centre the map on it A far-fetched idea earns its place in physics only when you can go out and look for its observational consequences. Last stated 3 years ago
3 Dec 2023
LR
Lisa Randall — holds since 2023-12-03 — tap for who they are
Same subject: A frontier lab should not spend its researchers harvesting results out of today's models; the payoff is in building the next one. — tap to centre the map on it A frontier lab should not spend its researchers harvesting results out of today's models; the payoff is in building the next one. Last stated 2 months ago
26 Jun 2026
NB
Noam Brown — holds since 2026-06-26 — tap for who they are
Same subject: A theory of everything would not finish physics: Turing and Church laid down computation's theory of everything in the 1930s and we have spent ninety years exploring the consequences. — tap to centre the map on it A theory of everything would not finish physics: Turing and Church laid down computation's theory of everything in the 1930s and we have spent ninety years exploring the consequences. Last stated 5 months ago
7 Apr 2026
MN
Michael Nielsen — holds since 2026-04-07 — 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
At the centre
No single person can understand a result like the Higgs boson in depth, and that is what a paper with a thousand authors actually means.
Holds MN Michael NielsenRead this korrent →
Programmers should be reading research papers and crawling their references, and the fact that almost none of them do is a bigger gap than any book recommendation could close.
Holds CM Casey Muratori
The lesson of the LHC is a cautionary one: you must not assume what is there before it has actually been found.
Holds LR Lisa Randall
Large language models are a bad way to do science, because they have been fed so much that nobody knows what they already knew.
Holds RS Richard Sutton
There is probably no bottom level of reality we will ever reach; physics will keep penetrating layers without ever arriving at the last one.
Holds LR Lisa Randall
A stream of AI-written papers with any error rate at all becomes insufferable, because finding the error costs more than the paper is worth even at ninety-nine percent.
Holds GS Grant Sanderson
A self-respecting theoretical physicist kills most of their own ideas rather than waiting for somebody else to do it.
Holds JL Janna Levin
Group theory took a hundred years to travel from one man's hunch to something the mathematical community agreed was good, passing through many heads on the way.
Holds GS Grant Sanderson
The hypotheses AI 'co-scientist' systems are producing are ones the literature already contains, and the publicity around them does not say so.
Holds DL Derek Lowe
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
A far-fetched idea earns its place in physics only when you can go out and look for its observational consequences.
Holds LR Lisa Randall
A frontier lab should not spend its researchers harvesting results out of today's models; the payoff is in building the next one.
Holds NB Noam Brown
A theory of everything would not finish physics: Turing and Church laid down computation's theory of everything in the 1930s and we have spent ninety years exploring the consequences.
Holds MN Michael Nielsen
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