Tap a claim on the ring to put it at the centre.
← Group theory took a hundred years to travel from one man's hunch to…
17 connected korrents · 15 moments from 15 Jul 2021 to 15 Sept 2026.
Everything filed under mathematics
mathematics
Everything filed under AI agents
AI agents
Everything filed under AI and science
AI and science
Everything filed under formal proof
formal proof
Everything filed under physics
physics
Everything filed under America
America
Everything filed under innovation
innovation
Everything filed under AI and jobs
AI and jobs
Everything filed under LLMs
LLMs
Everything filed under data centers
data centers 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: 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. 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 4 months ago
30 Jun 2026
GS
Grant Sanderson — holds since 2026-06-30 — 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 thousand authors actually means. Last stated 7 months ago
7 Apr 2026
MN
Michael Nielsen — holds since 2026-04-07 — tap for who they are
Same subject: For the whole of human history the bottleneck on progress has been getting a group of smart people together around a shared goal. — tap to centre the map on it For the whole of human history the bottleneck on progress has been getting a group of smart people together around a shared goal. Last stated 3 months ago
29 Jul 2026
AW
Alexandr Wang — holds since 2026-07-29 — tap for who they are
Same subject: People are increasingly arriving at the same ideas simultaneously, removing the gradient that let new ideas spread from an originator outward. — tap to centre the map on it People are increasingly arriving at the same ideas simultaneously, removing the gradient that let new ideas spread from an originator outward. Last stated 3 months ago
28 Jul 2026
VR
Venkatesh Rao — holds since 2026-07-28 — tap for who they are
Same subject: Most of the useful mathematics AI produces over the next five years will be filling in connections that only somebody expert in several fields could draw. — tap to centre the map on it Most of the useful mathematics AI produces over the next five years will be filling in connections that only somebody expert in several fields could draw. Last stated 4 months ago
30 Jun 2026
GS
Grant Sanderson — holds since 2026-06-30 — tap for who they are
Same subject: The scaling curve really is S-shaped, but there are at least two cycles left in it, which means models sixteen times smarter and all knowledge work subsumed. — tap to centre the map on it The scaling curve really is S-shaped, but there are at least two cycles left in it, which means models sixteen times smarter and all knowledge work subsumed. Last stated 7 months ago
11 Mar 2026
SY
Steve Yegge — holds since 2026-03-11 — tap for who they are
Same subject: Models can prove monumental theorems and still have never written an essay worth reading. — tap to centre the map on it Models can prove monumental theorems and still have never written an essay worth reading. Last stated 3 months ago
31 Jul 2026
PC
Patrick Collison — holds since 2026-07-31 — tap for who they are
Same subject: In ten years there will be many results much closer to twin primes, perhaps not the whole thing; on the Riemann hypothesis he has no clue. — tap to centre the map on it In ten years there will be many results much closer to twin primes, perhaps not the whole thing; on the Riemann hypothesis he has no clue. Last stated a year ago
14 Jun 2025
TT
Terence Tao — holds since 2025-06-14 — tap for who they are
Same subject: We will have a country of geniuses in a datacentre within ten years. — tap to centre the map on it We will have a country of geniuses in a datacentre within ten years. Last stated 8 months ago
13 Feb 2026
DA
Dario Amodei — holds since 2026-02-13 — tap for who they are
Same subject: A compound's AI origin story is not by itself a reason to expect it to do better in the clinic. — tap to centre the map on it A compound's AI origin story is not by itself a reason to expect it to do better in the clinic. Last stated 2 years ago
13 May 2024
DL
Derek Lowe — holds since 2024-05-13 — tap for who they are
Same subject: A computational discovery platform does not make a biotech fast, because the thousand other steps of drug development are still the bottleneck. — tap to centre the map on it A computational discovery platform does not make a biotech fast, because the thousand other steps of drug development are still the bottleneck. Last stated 2 years ago
17 Sept 2024
AT
Alex Telford — holds since 2024-09-17 — tap for who they are
Same subject: A computational method can regularly predict protein structures with atomic accuracy even when no similar structure is known. — tap to centre the map on it A computational method can regularly predict protein structures with atomic accuracy even when no similar structure is known. Last stated 5 years ago
15 Jul 2021
DH
Demis Hassabis — holds since 2021-07-15 — tap for who they are
Same subject: A test checks a handful of examples; a proof settles an infinite state space, which is why formal methods can say things testing never can. — tap to centre the map on it A test checks a handful of examples; a proof settles an infinite state space, which is why formal methods can say things testing never can. Last stated 6 months ago
22 Apr 2026
MK
Martin Kleppmann — holds since 2026-04-22 — tap for who they are
Same subject: AI is making formal methods more popular without making them mainstream, moving them from about a tenth of a per cent of engineers to three tenths. — tap to centre the map on it AI is making formal methods more popular without making them mainstream, moving them from about a tenth of a per cent of engineers to three tenths. Last stated 3 months ago
29 Jul 2026
HW
Hillel Wayne — holds since 2026-07-29 — 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 6 months ago
22 Apr 2026
MK
Martin Kleppmann — holds since 2026-04-22 — tap for who they are
Same subject: A collection of AI agents does not automatically form a functioning organization any more than a group of smart people does. — tap to centre the map on it A collection of AI agents does not automatically form a functioning organization any more than a group of smart people does. Last stated 5 months ago
21 May 2026
RK
Rohit Krishnan — holds since 2026-05-21 — tap for who they are
Same subject: A company cannot be led by machines, because nobody would have recourse against them. — tap to centre the map on it A company cannot be led by machines, because nobody would have recourse against them. Last stated a month ago
15 Sept 2026
TL
Tobias Lütke — holds since 2026-09-15 — tap for who they are
Same subject: A computer-using agent needs a machine of its own, or you will spend the day fighting it for the mouse cursor. — tap to centre the map on it A computer-using agent needs a machine of its own, or you will spend the day fighting it for the mouse cursor. Last stated 2 months ago
10 Aug 2026
PS
Peter Steinberger — holds since 2026-08-10 — tap for who they are
At the centre
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 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.
Holds
For the whole of human history the bottleneck on progress has been getting a group of smart people together around a shared goal.
Holds
People are increasingly arriving at the same ideas simultaneously, removing the gradient that let new ideas spread from an originator outward.
Holds
Most of the useful mathematics AI produces over the next five years will be filling in connections that only somebody expert in several fields could draw.
Holds
The scaling curve really is S-shaped, but there are at least two cycles left in it, which means models sixteen times smarter and all knowledge work subsumed.
Holds
Models can prove monumental theorems and still have never written an essay worth reading.
Holds
In ten years there will be many results much closer to twin primes, perhaps not the whole thing; on the Riemann hypothesis he has no clue.
Holds
We will have a country of geniuses in a datacentre within ten years.
Holds
A compound's AI origin story is not by itself a reason to expect it to do better in the clinic.
Holds
A computational discovery platform does not make a biotech fast, because the thousand other steps of drug development are still the bottleneck.
Holds
A computational method can regularly predict protein structures with atomic accuracy even when no similar structure is known.
Holds
A test checks a handful of examples; a proof settles an infinite state space, which is why formal methods can say things testing never can.
Holds
AI is making formal methods more popular without making them mainstream, moving them from about a tenth of a per cent of engineers to three tenths.
Holds
AI-written code makes formal proof necessary, because human review of all that generated code becomes the bottleneck.
Holds
A collection of AI agents does not automatically form a functioning organization any more than a group of smart people does.
Holds
A company cannot be led by machines, because nobody would have recourse against them.
Holds
A computer-using agent needs a machine of its own, or you will spend the day fighting it for the mouse cursor.
Holds