Tap a claim on the ring to put it at the centre.
← The mathematical community might become bitterly divided.
17 connected korrents · 14 moments from 1 Jun 2013 to 16 Oct 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 physics
physics
Everything filed under motivation
motivation
Everything filed under AI alignment
AI alignment 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 mathematical community might become bitterly divided. The mathematical community might become bitterly divided. Last stated 2 months ago
17 Sept 2026
TG
Timothy Gowers — holds since 2026-09-17 — tap for who they are
Same subject: The mathematics community does not nurture all of its students and ideas with great care. — tap to centre the map on it The mathematics community does not nurture all of its students and ideas with great care. Last stated 2 months ago
12 Sept 2026
LP
Lior Pachter — holds since 2026-09-12 — tap for who they are
Same subject: AI agents are going to have major consequences for how mathematics research is done. — tap to centre the map on it AI agents are going to have major consequences for how mathematics research is done. Last stated 2 months ago
9 Sept 2026
PW
Peter Woit — holds since 2026-09-09 — tap for who they are
Same subject: The unwritten goals of mathematics must be made explicit, and examining and codifying them will leave the community stronger and more resilient. — tap to centre the map on it The unwritten goals of mathematics must be made explicit, and examining and codifying them will leave the community stronger and more resilient. Last stated 3 months ago
17 Aug 2026
TT
Terence Tao — holds since 2026-08-17 — tap for who they are
Same subject: The current system of incentives for mathematical research will be disturbed by AI. — tap to centre the map on it The current system of incentives for mathematical research will be disturbed by AI. Last stated 3 months ago
26 Jul 2026
TG
Timothy Gowers — holds since 2026-07-26 — tap for who they are
Same subject: The survival of human mathematical tradition may depend on the motivation of young people to solve problems. — tap to centre the map on it The survival of human mathematical tradition may depend on the motivation of young people to solve problems. Last stated 2 months ago
17 Sept 2026
TG
Timothy Gowers — holds since 2026-09-17 — tap for who they are
Same subject: The potential for AI to harm the field of mathematics is real. — tap to centre the map on it The potential for AI to harm the field of mathematics is real. Last stated a month ago
22 Sept 2026
GK
Gil Kalai — holds since 2026-09-22 — tap for who they are
Same subject: Mathematicians are well suited to contribute to AI safety. — tap to centre the map on it Mathematicians are well suited to contribute to AI safety. Last stated 3 weeks ago
16 Oct 2026
TG
Timothy Gowers — holds since 2026-10-16 — tap for who they are
Same subject: The goals of AI companies and the goals of the mathematical community are severely misaligned. — tap to centre the map on it The goals of AI companies and the goals of the mathematical community are severely misaligned. Last stated 2 months ago
12 Sept 2026
LP
Lior Pachter — holds since 2026-09-12 — 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 black hole is featureless in the way a fundamental particle is: charge, mass and spin are the whole of it, and no two differ in anything else. — tap to centre the map on it A black hole is featureless in the way a fundamental particle is: charge, mass and spin are the whole of it, and no two differ in anything else. Last stated 2 years ago
5 May 2025
JL
Janna Levin — holds since 2025-05-05 — tap for who they are
Same subject: A black hole is its event horizon, not the matter crushed to a point at the centre. — tap to centre the map on it A black hole is its event horizon, not the matter crushed to a point at the centre. Last stated 2 years ago
5 May 2025
JL
Janna Levin — holds since 2025-05-05 — tap for who they are
Same subject: A correct unifying theory of physics would, on first appearing publicly, look statistically likely to be wrong. — tap to centre the map on it A correct unifying theory of physics would, on first appearing publicly, look statistically likely to be wrong. Last stated 13 years ago
1 Jun 2013
MS
Marcus du Sautoy — holds since 2013-06-01 — tap for who they are
At the centre
The mathematical community might become bitterly divided.
Holds Read this korrent →
The mathematics community does not nurture all of its students and ideas with great care.
Holds
AI agents are going to have major consequences for how mathematics research is done.
Holds
The unwritten goals of mathematics must be made explicit, and examining and codifying them will leave the community stronger and more resilient.
Holds
The current system of incentives for mathematical research will be disturbed by AI.
Holds
The survival of human mathematical tradition may depend on the motivation of young people to solve problems.
Holds
The potential for AI to harm the field of mathematics is real.
Holds
Mathematicians are well suited to contribute to AI safety.
Holds
The goals of AI companies and the goals of the mathematical community are severely misaligned.
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 black hole is featureless in the way a fundamental particle is: charge, mass and spin are the whole of it, and no two differ in anything else.
Holds
A black hole is its event horizon, not the matter crushed to a point at the centre.
Holds
A correct unifying theory of physics would, on first appearing publicly, look statistically likely to be wrong.
Holds