Tap a claim on the ring to put it at the centre.
← Math is good training for the mind and makes you a more rigorous thinker
14 connected korrents · 14 moments from 15 Sept 2006 to 26 Sept 2026. Nearly all of them are about mathematics .
Everything filed under curiosity
curiosity
Everything filed under AI and science
AI and science
Everything filed under formal proof
formal proof
Everything filed under education
education
Everything filed under evolutionary biology
evolutionary biology 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: Math is good training for the mind and makes you a more rigorous thinker Math is good training for the mind and makes you a more rigorous thinker Last stated 20 years ago
15 Sept 2006
GM
Greg Mankiw — holds since 2006-09-15 — tap for who they are
Same subject: Maths is essential schooling: it trains you to split big problems into small ones and to think for yourself, the same skill programming, project management and founding a company need. — tap to centre the map on it Maths is essential schooling: it trains you to split big problems into small ones and to think for yourself, the same skill programming, project management and founding a company need. Last stated a year ago
30 Sept 2025
PD
Pavel Durov — holds since 2025-09-30 — tap for who they are
Same subject: The value of a body of knowledge comes from the process of engaging with it, not just from its end products. — tap to centre the map on it The value of a body of knowledge comes from the process of engaging with it, not just from its end products. Last stated a week ago
26 Sept 2026
TT
Terence Tao — holds since 2026-09-26 — tap for who they are
Same subject: That people are good at maths and coding, which evolution never selected for, shows human learning is not a complicated evolutionary prior but something more fundamental. — tap to centre the map on it That people are good at maths and coding, which evolution never selected for, shows human learning is not a complicated evolutionary prior but something more fundamental. Last stated 10 months ago
25 Nov 2025
IS
Ilya Sutskever — holds since 2025-11-25 — tap for who they are
Same subject: Digital brain training makes you better at the training and at nothing else, which is the strongest argument against it. — tap to centre the map on it Digital brain training makes you better at the training and at nothing else, which is the strongest argument against it. Last stated 2 months ago
20 Jul 2026
TW
Tommy Wood — holds since 2026-07-20 — tap for who they are
Same subject: Mathematics gives practitioners corrective feedback on being wrong that moral philosophy lacks. — tap to centre the map on it Mathematics gives practitioners corrective feedback on being wrong that moral philosophy lacks. Last stated 5 years ago
27 Feb 2022
NN
Neel Nanda — holds since 2022-02-27 — 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 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
Same subject: A slot machine triggers the brain’s learning and curiosity pathways while teaching nothing, and that one-way exchange is what makes it contemptuous of the player. — tap to centre the map on it A slot machine triggers the brain’s learning and curiosity pathways while teaching nothing, and that one-way exchange is what makes it contemptuous of the player. Last stated 13 years ago
3 Jul 2013
RK
Raph Koster — holds since 2013-07-03 — tap for who they are
Same subject: AI tooling has not compressed the gap between great and average engineers: it is still two or three times, and for the same reasons as before — curiosity and appetite for the bleeding edge. — tap to centre the map on it AI tooling has not compressed the gap between great and average engineers: it is still two or three times, and for the same reasons as before — curiosity and appetite for the bleeding edge. Last stated 6 months ago
1 Apr 2026
TP
Thuan Pham — holds since 2026-04-01 — tap for who they are
Same subject: American transit agencies stay expensive out of incuriosity: the practices that would fix them are written in languages nobody in the room reads. — tap to centre the map on it American transit agencies stay expensive out of incuriosity: the practices that would fix them are written in languages nobody in the room reads. Last stated 4 years ago
12 Jan 2023
AL
Alon Levy — holds since 2023-01-12 — tap for who they are
At the centre
Math is good training for the mind and makes you a more rigorous thinker
Holds Read this korrent →
Maths is essential schooling: it trains you to split big problems into small ones and to think for yourself, the same skill programming, project management and founding a company need.
Holds
The value of a body of knowledge comes from the process of engaging with it, not just from its end products.
Holds
That people are good at maths and coding, which evolution never selected for, shows human learning is not a complicated evolutionary prior but something more fundamental.
Holds
Digital brain training makes you better at the training and at nothing else, which is the strongest argument against it.
Holds
Mathematics gives practitioners corrective feedback on being wrong that moral philosophy lacks.
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 slot machine triggers the brain’s learning and curiosity pathways while teaching nothing, and that one-way exchange is what makes it contemptuous of the player.
Holds
AI tooling has not compressed the gap between great and average engineers: it is still two or three times, and for the same reasons as before — curiosity and appetite for the bleeding edge.
Holds
American transit agencies stay expensive out of incuriosity: the practices that would fix them are written in languages nobody in the room reads.
Holds