Tap a claim on the ring to put it at the centre.
← Mathematicians who continue working without AI should be seen as practicing an art form rather than research.
17 connected korrents · 14 moments on record from 28 Oct 2011 to 11 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 cryptography
cryptography
Everything filed under formal proof
formal proof 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: Mathematicians who continue working without AI should be seen as practicing an art form rather than research. Mathematicians who continue working without AI should be seen as practicing an art form rather than research. Last stated a week ago
11 Sept 2026
DL
Daniel Lemire — holds since 2026-09-11 — tap for who they are
Same subject: A proof and an explanation are different things, and a theorem can stay an unsolved expository problem long after it is proved. — tap to centre the map on it A proof and an explanation are different things, and a theorem can stay an unsolved expository problem long after it is proved. Last stated 3 months ago
30 Jun 2026
GS
Grant Sanderson — holds since 2026-06-30 — tap for who they are
Same subject: A stream of AI-written papers with any error rate at all becomes insufferable, because finding the error costs more than the paper is worth even at ninety-nine percent. — tap to centre the map on it A stream of AI-written papers with any error rate at all becomes insufferable, because finding the error costs more than the paper is worth even at ninety-nine percent. Last stated 3 months ago
30 Jun 2026
GS
Grant Sanderson — holds since 2026-06-30 — tap for who they are
Same subject: Academic credentials — grades, major, the prestige of the degree — barely matter to industry hiring. — tap to centre the map on it Academic credentials — grades, major, the prestige of the degree — barely matter to industry hiring. Last stated 15 years ago
28 Oct 2011
PM
Patrick McKenzie — holds since 2011-10-28 — tap for who they are
Same subject: Aesthetics is truth: when something is beautiful it is likely to be correct, in code as in mathematics and physics. — tap to centre the map on it Aesthetics is truth: when something is beautiful it is likely to be correct, in code as in mathematics and physics. Last stated 5 months ago
8 Apr 2026
DH
David Heinemeier Hansson — holds since 2026-04-08 — tap for who they are
Same subject: Aggressive competitive tactics around a math research breakthrough risk having a chilling effect on that field of research. — tap to centre the map on it Aggressive competitive tactics around a math research breakthrough risk having a chilling effect on that field of research. Last stated a week ago
11 Sept 2026
BT
Ben Thompson — holds since 2026-09-11 — 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 weeks ago
9 Sept 2026
PW
Peter Woit — holds since 2026-09-09 — tap for who they are
Same subject: AI agents are starting to have a major positive impact on mathematical research. — tap to centre the map on it AI agents are starting to have a major positive impact on mathematical research. Last stated 2 months ago
15 Jul 2026
PW
Peter Woit — holds since 2026-07-15 — tap for who they are
Same subject: AI agents have not yet produced anything genuinely new or important in mathematics. — tap to centre the map on it AI agents have not yet produced anything genuinely new or important in mathematics. Last stated 2 months ago
26 Jul 2026
PW
Peter Woit — holds since 2026-07-26 — 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 sufficiently large random reversible circuit is plausibly a secure cryptographic permutation, while a large random irreversible circuit collapses to only a few possible outputs. — tap to centre the map on it A sufficiently large random reversible circuit is plausibly a secure cryptographic permutation, while a large random irreversible circuit collapses to only a few possible outputs. Last stated a month ago
21 Aug 2026
VB
Vitalik Buterin — holds since 2026-08-21 — tap for who they are
Same subject: AI labs are extremely dependent on chain-of-thought monitoring, which may not last much longer as models edge into steganographic obfuscation. — tap to centre the map on it AI labs are extremely dependent on chain-of-thought monitoring, which may not last much longer as models edge into steganographic obfuscation. Last stated 2 weeks ago
10 Sept 2026
ZM
Zvi Mowshowitz — holds since 2026-09-10 — tap for who they are
Same subject: As of 2026, local mixing has not yet sufficiently eliminated correlations between original circuit values and their obfuscated counterparts. — tap to centre the map on it As of 2026, local mixing has not yet sufficiently eliminated correlations between original circuit values and their obfuscated counterparts. Last stated a month ago
21 Aug 2026
VB
Vitalik Buterin — holds since 2026-08-21 — tap for who they are
At the centre
Mathematicians who continue working without AI should be seen as practicing an art form rather than research.
Holds Read this korrent →
A proof and an explanation are different things, and a theorem can stay an unsolved expository problem long after it is proved.
Holds
A stream of AI-written papers with any error rate at all becomes insufferable, because finding the error costs more than the paper is worth even at ninety-nine percent.
Holds
Academic credentials — grades, major, the prestige of the degree — barely matter to industry hiring.
Holds
Aesthetics is truth: when something is beautiful it is likely to be correct, in code as in mathematics and physics.
Holds
Aggressive competitive tactics around a math research breakthrough risk having a chilling effect on that field of research.
Holds
AI agents are going to have major consequences for how mathematics research is done.
Holds
AI agents are starting to have a major positive impact on mathematical research.
Holds
AI agents have not yet produced anything genuinely new or important in mathematics.
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 sufficiently large random reversible circuit is plausibly a secure cryptographic permutation, while a large random irreversible circuit collapses to only a few possible outputs.
Holds
AI labs are extremely dependent on chain-of-thought monitoring, which may not last much longer as models edge into steganographic obfuscation.
Holds
As of 2026, local mixing has not yet sufficiently eliminated correlations between original circuit values and their obfuscated counterparts.
Holds