Tap a claim on the ring to put it at the centre.
← The value of a body of knowledge comes from the process of engaging with it, not just from its end products.
17 connected korrents · 14 moments from 1 Jan 2020 to 27 Sept 2026.
Everything filed under mathematics
mathematics
Everything filed under AI and science
AI and science
Everything filed under ideas vs execution
ideas vs execution
Everything filed under formal proof
formal proof
Everything filed under education
education 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 value of a body of knowledge comes from the process of engaging with it, not just from its end products. The value of a body of knowledge comes from the process of engaging with it, not just from its end products. Last stated 6 days ago
26 Sept 2026
TT
Terence Tao — holds since 2026-09-26 — tap for who they are
Same subject: Most of the value that mathematics and mathematicians contribute to the world will not be replaced by AI, though it could be magnified by it. — tap to centre the map on it Most of the value that mathematics and mathematicians contribute to the world will not be replaced by AI, though it could be magnified by it. Last stated 6 days ago
26 Sept 2026
TT
Terence Tao — holds since 2026-09-26 — tap for who they are
Same subject: Feeling that one could have discovered a mathematical result oneself is a better measure of deep understanding than simply verifying that it must be true. — tap to centre the map on it Feeling that one could have discovered a mathematical result oneself is a better measure of deep understanding than simply verifying that it must be true. Last stated 2 weeks ago
18 Sept 2026
GS
Grant Sanderson — holds since 2026-09-18 — tap for who they are
Same subject: Most mathematics will never be useful to a developer; what pays is knowing what mathematics exists so you can find the part that is. — tap to centre the map on it Most mathematics will never be useful to a developer; what pays is knowing what mathematics exists so you can find the part that is. Last stated 2 months ago
29 Jul 2026
HW
Hillel Wayne — holds since 2026-07-29 — tap for who they are
Same subject: Process knowledge — the experience of actually making things — matters more than tools or blueprints. — tap to centre the map on it Process knowledge — the experience of actually making things — matters more than tools or blueprints. Last stated 7 years ago
1 Jan 2020
DW
Dan Wang — holds since 2020-01-01 — tap for who they are
Same subject: Mathematics is entering a period of turbulence that will stress-test its implicit values and practices rather than its foundations of truth. — tap to centre the map on it Mathematics is entering a period of turbulence that will stress-test its implicit values and practices rather than its foundations of truth. Last stated 2 months ago
17 Aug 2026
TT
Terence Tao — holds since 2026-08-17 — tap for who they are
Same subject: Anyone choosing a career should work out where the money comes from and what value they add; asking the question at all puts you ahead of your peers. — tap to centre the map on it Anyone choosing a career should work out where the money comes from and what value they add; asking the question at all puts you ahead of your peers. Last stated 3 months ago
30 Jun 2026
GS
Grant Sanderson — holds since 2026-06-30 — tap for who they are
Same subject: Programmers fail to recognise how much mathematics their job uses because the mathematics it needs is discrete and school teaches the continuous kind. — tap to centre the map on it Programmers fail to recognise how much mathematics their job uses because the mathematics it needs is discrete and school teaches the continuous kind. Last stated 2 months ago
29 Jul 2026
HW
Hillel Wayne — holds since 2026-07-29 — tap for who they are
Same subject: Education is not a soft business of diffusing knowledge but a hard technical problem of building ramps to it. — tap to centre the map on it Education is not a soft business of diffusing knowledge but a hard technical problem of building ramps to it. Last stated 11 months ago
17 Oct 2025
AK
Andrej Karpathy — holds since 2025-10-17 — 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 film's script and direction must be of a sufficient quality to support its complex plot. — tap to centre the map on it A film's script and direction must be of a sufficient quality to support its complex plot. Last stated 5 days ago
27 Sept 2026
JS
John Scalzi — holds since 2026-09-27 — tap for who they are
Same subject: A good idea often fails to spread not for lack of merit but because no convenient way exists to implement it. — tap to centre the map on it A good idea often fails to spread not for lack of merit but because no convenient way exists to implement it. Last stated 4 months ago
7 Jun 2026
SR
Scott Rao — holds since 2026-06-07 — 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 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 million copies of one researcher would hit diminishing returns quickly, because what research needs is people who think differently. — tap to centre the map on it A million copies of one researcher would hit diminishing returns quickly, because what research needs is people who think differently. Last stated 10 months ago
25 Nov 2025
IS
Ilya Sutskever — holds since 2025-11-25 — 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 5 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 2 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 5 months ago
22 Apr 2026
MK
Martin Kleppmann — holds since 2026-04-22 — tap for who they are