Tap a claim on the ring to put it at the centre.
← The structures of science now have to change, because the scarce thing…
17 connected korrents · 16 moments on record from 21 Jan 2019 to 10 Aug 2026.
Everything filed under formal proof
formal proof
Everything filed under physics
physics
Everything filed under Google
Google
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: The structures of science now have to change, because the scarce thing is no longer proposing theories but verifying and evaluating the thousands anyone can now propose. The structures of science now have to change, because the scarce thing is no longer proposing theories but verifying and evaluating the thousands anyone can now propose. Last stated 6 months ago
20 Mar 2026
TT
Terence Tao — holds since 2026-03-20 — tap for who they are
Same subject: Scientific discovery is ready to be rewritten, because for all of history it has run at the speed of smart humans remembering what other smart humans learned. — tap to centre the map on it Scientific discovery is ready to be rewritten, because for all of history it has run at the speed of smart humans… Last stated 4 weeks ago
10 Aug 2026
FL
Fei-Fei Li — holds since 2026-08-10 — 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… 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 no correct heuristic for science, so what you need is many independent research programmes each running its own bias. — tap to centre the map on it There is no correct heuristic for science, so what you need is many independent research programmes each running its… Last stated 2 months ago
30 Jun 2026
GS
Grant Sanderson — holds since 2026-06-30 — tap for who they are
Same subject: How science works can be reasoned about in advance, because the activity has invariants that do not change over time. — tap to centre the map on it How science works can be reasoned about in advance, because the activity has invariants that do not change… Last stated 4 years ago
17 Mar 2022
JR
José Luis Ricón — holds since 2022-03-17 — tap for who they are
Same subject: 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. — tap to centre the map on it No single person can understand a result like the Higgs boson in depth, and that is what a paper with a… Last stated 5 months ago
7 Apr 2026
MN
Michael Nielsen — holds since 2026-04-07 — 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… Last stated 2 months ago
26 Jun 2026
NB
Noam Brown — holds since 2026-06-26 — 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… Last stated 3 months ago
27 May 2026
DL
Derek Lowe — holds since 2026-05-27 — 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… Last stated 5 months ago
22 Apr 2026
MK
Martin Kleppmann — holds since 2026-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 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… Last stated 5 months ago
7 Apr 2026
MN
Michael Nielsen — holds since 2026-04-07 — tap for who they are
Same subject: Aesthetics is truth: when something is beautiful it is likely to be correct, in code as in mathematics and physics. — tap to centre the map on it Aesthetics is truth: when something is beautiful it is likely to be correct, in code as in mathematics and physics. Last stated 5 months ago
8 Apr 2026
DH
David Heinemeier Hansson — holds since 2026-04-08 — 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… 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… 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… 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… 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… Last stated 3 years ago
28 Jul 2023
CD
Cory Doctorow — holds since 2023-07-28 — tap for who they are
At the centre
The structures of science now have to change, because the scarce thing is no longer proposing theories but verifying and evaluating the thousands anyone can now propose.
Holds TT Terence TaoRead this korrent →
Scientific discovery is ready to be rewritten, because for all of history it has run at the speed of smart humans remembering what other smart humans learned.
Holds FL Fei-Fei Li
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 no correct heuristic for science, so what you need is many independent research programmes each running its own bias.
Holds GS Grant Sanderson
How science works can be reasoned about in advance, because the activity has invariants that do not change over time.
Holds JR José Luis Ricón
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 Nielsen
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
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
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
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 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
Aesthetics is truth: when something is beautiful it is likely to be correct, in code as in mathematics and physics.
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 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