Tap a claim on the ring to put it at the centre.
← AI excels at breadth and human experts at depth, which makes them…
17 connected korrents · 15 moments from 15 Jul 2021 to 28 Sept 2026.
Everything filed under mathematics
mathematics
Everything filed under AI and science
AI and science
Everything filed under formal proof
formal proof
Everything filed under LLMs
LLMs
Everything filed under AGI
AGI
Everything filed under creativity
creativity
Everything filed under energy
energy 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 excels at breadth and human experts at depth, which makes them complementary and makes today's depth-focused way of doing science the wrong shape. AI excels at breadth and human experts at depth, which makes them complementary and makes today's depth-focused way of doing science the wrong shape. Last stated 7 months ago
20 Mar 2026
TT
Terence Tao — holds since 2026-03-20 — tap for who they are
Same subject: AI excels at certain tasks but cannot substitute for human thinking. — tap to centre the map on it AI excels at certain tasks but cannot substitute for human thinking. Last stated 2 months ago
1 Sept 2026
NM
Nick Maggiulli — holds since 2026-09-01 — tap for who they are
Same subject: AI should be approached as a collaboration between humans and computers, not a forced choice between them. — tap to centre the map on it AI should be approached as a collaboration between humans and computers, not a forced choice between them. Last stated 3 years ago
6 Feb 2024
SC
Steve Coast — holds since 2024-02-06 — tap for who they are
Same subject: AI systems are better than humans at coordinating with each other, and they move much faster than humans do. — tap to centre the map on it AI systems are better than humans at coordinating with each other, and they move much faster than humans do. Last stated 2 months ago
31 Aug 2026
JC
Jack Clark — holds since 2026-08-31 — tap for who they are
Same subject: AI in chess and mathematics does not explain anything; it says which position is better, and humans build the theory from that. — tap to centre the map on it AI in chess and mathematics does not explain anything; it says which position is better, and humans build the theory from that. Last stated a year ago
14 Jun 2025
LF
Lex Fridman — holds since 2025-06-14 — tap for who they are
Same subject: AI helps exactly as far as the work is predictable and well documented, and stops helping on anything cutting edge. — tap to centre the map on it AI helps exactly as far as the work is predictable and well documented, and stops helping on anything cutting edge. Last stated 2 years ago
22 Mar 2025
TH
ThePrimeagen — holds since 2025-03-22 — tap for who they are
Same subject: Whenever AI can do something as well as or better than humans, that thing arguably stops being valuable or special. — tap to centre the map on it Whenever AI can do something as well as or better than humans, that thing arguably stops being valuable or special. Last stated 3 weeks ago
28 Sept 2026
PL
Pieter Levels — holds since 2026-09-28 — tap for who they are
Same subject: AI labs will bifurcate into specialities rather than each trying to be good at everything, the way people choose a speciality. — tap to centre the map on it AI labs will bifurcate into specialities rather than each trying to be good at everything, the way people choose a speciality. Last stated 9 months ago
8 Jan 2026
JH
Jensen Huang — holds since 2026-01-08 — tap for who they are
Same subject: Hybrid human-plus-AI teams will dominate mathematics for a lot longer, and a full replacement would need breakthroughs beyond anything we now have. — tap to centre the map on it Hybrid human-plus-AI teams will dominate mathematics for a lot longer, and a full replacement would need breakthroughs beyond anything we now have. Last stated 7 months ago
20 Mar 2026
TT
Terence Tao — holds since 2026-03-20 — 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: Accurate computational approaches are needed to close the protein structural coverage gap and enable large-scale structural bioinformatics. — tap to centre the map on it Accurate computational approaches are needed to close the protein structural coverage gap and enable large-scale structural bioinformatics. Last stated 5 years ago
15 Jul 2021
DH
Demis Hassabis — holds since 2021-07-15 — tap for who they are
Same subject: AI models can be more accurate than physical experiments by averaging out noise, incorporating priors from large datasets, and interpolating between data points. — tap to centre the map on it AI models can be more accurate than physical experiments by averaging out noise, incorporating priors from large datasets, and interpolating between data points. Last stated 11 months ago
23 Nov 2025
EH
Elliot Hershberg — holds since 2025-11-23 — tap for who they are
Same subject: AI will not produce a big breakthrough in biological understanding any time soon, because biology has nothing like the clean, complete, high-quality data that made protein-structure prediction work. — tap to centre the map on it AI will not produce a big breakthrough in biological understanding any time soon, because biology has nothing like the clean, complete, high-quality data that made protein-structure prediction work. Last stated 2 years ago
19 Sept 2024
DL
Derek Lowe — holds since 2024-09-19 — 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: Engineers are sceptical of formal methods because they were burned by CASE and UML, sold as miracle solutions and imposed on them regardless of fit. — tap to centre the map on it Engineers are sceptical of formal methods because they were burned by CASE and UML, sold as miracle solutions and imposed on them regardless of fit. Last stated 3 months ago
29 Jul 2026
HW
Hillel Wayne — holds since 2026-07-29 — tap for who they are
At the centre
AI excels at breadth and human experts at depth, which makes them complementary and makes today's depth-focused way of doing science the wrong shape.
Holds Read this korrent →
AI excels at certain tasks but cannot substitute for human thinking.
Holds
AI should be approached as a collaboration between humans and computers, not a forced choice between them.
Holds
AI systems are better than humans at coordinating with each other, and they move much faster than humans do.
Holds
AI in chess and mathematics does not explain anything; it says which position is better, and humans build the theory from that.
Holds
AI helps exactly as far as the work is predictable and well documented, and stops helping on anything cutting edge.
Holds
Whenever AI can do something as well as or better than humans, that thing arguably stops being valuable or special.
Holds
AI labs will bifurcate into specialities rather than each trying to be good at everything, the way people choose a speciality.
Holds
Hybrid human-plus-AI teams will dominate mathematics for a lot longer, and a full replacement would need breakthroughs beyond anything we now have.
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
Accurate computational approaches are needed to close the protein structural coverage gap and enable large-scale structural bioinformatics.
Holds
AI models can be more accurate than physical experiments by averaging out noise, incorporating priors from large datasets, and interpolating between data points.
Holds
AI will not produce a big breakthrough in biological understanding any time soon, because biology has nothing like the clean, complete, high-quality data that made protein-structure prediction work.
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
Engineers are sceptical of formal methods because they were burned by CASE and UML, sold as miracle solutions and imposed on them regardless of fit.
Holds