Tap a claim on the ring to put it at the centre.
← Funding for mathematics and interest in the topic will rise considerably in the medium term
17 connected korrents · 13 moments on record from 28 Oct 2011 to 12 Sept 2026.
Everything filed under mathematics
mathematics
Everything filed under AI writing
AI writing
Everything filed under peer review
peer review
Everything filed under formal proof
formal proof
Everything filed under AI and science
AI and science 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: Funding for mathematics and interest in the topic will rise considerably in the medium term Funding for mathematics and interest in the topic will rise considerably in the medium term Last stated today
12 Sept 2026
TC
Tyler Cowen — holds since 2026-09-12 — 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 2 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 2 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: AI could compete with human mathematicians once it acquires a mathematical sense of smell: knowing which way of splitting a problem makes it easier rather than harder. — tap to centre the map on it AI could compete with human mathematicians once it acquires a mathematical sense of smell: knowing which way of splitting a problem makes it easier rather than harder. Last stated a year ago
14 Jun 2025
TT
Terence Tao — holds since 2025-06-14 — 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 learning to generate good conjectures will never show up as a benchmark being knocked down; it will show up as a shift in how mathematicians talk about the tools. — tap to centre the map on it AI learning to generate good conjectures will never show up as a benchmark being knocked down; it will show up as a shift in how mathematicians talk about the tools. Last stated 2 months ago
30 Jun 2026
GS
Grant Sanderson — holds since 2026-06-30 — tap for who they are
Same subject: AI systems are now capable of meaningful contributions to formal mathematics, not only informal problem-solving. — tap to centre the map on it AI systems are now capable of meaningful contributions to formal mathematics, not only informal problem-solving. Last stated 2 months ago
8 Jul 2026
TT
Terence Tao — holds since 2026-07-08 — 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 a month 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: Fraudulent papers pass peer review routinely, which is direct evidence that peer review does not do the job it is supposed to do. — tap to centre the map on it Fraudulent papers pass peer review routinely, which is direct evidence that peer review does not do the job it is supposed to do. Last stated 4 years ago
13 Dec 2022
AM
Adam Mastroianni — holds since 2022-12-13 — tap for who they are
Same subject: History has a reproducibility problem worse than science’s replication crisis, because hardly anyone ever goes back to the sources to check what a historian claimed they say. — tap to centre the map on it History has a reproducibility problem worse than science’s replication crisis, because hardly anyone ever goes back to the sources to check what a historian claimed they say. Last stated 3 years ago
29 Aug 2023
AH
Anton Howes — holds since 2023-08-29 — tap for who they are
Same subject: Needing a reviewer's approval before an idea counts for anything makes scientists worse at thinking, and costs the field its most unusual ideas. — tap to centre the map on it Needing a reviewer's approval before an idea counts for anything makes scientists worse at thinking, and costs the field its most unusual ideas. Last stated 4 years ago
13 Dec 2022
AM
Adam Mastroianni — holds since 2022-12-13 — tap for who they are
Same subject: AI content should be labelled rather than filtered: content should be judged by its point of view, never by the tool that made it. — tap to centre the map on it AI content should be labelled rather than filtered: content should be judged by its point of view, never by the tool that made it. Last stated 2 months ago
9 Jul 2026
AM
Adam Mosseri — holds since 2026-07-09 — tap for who they are
Same subject: AI-generated writing tends to repeat the same themes, names, and underlying ideas across different outputs. — tap to centre the map on it AI-generated writing tends to repeat the same themes, names, and underlying ideas across different outputs. Last stated 2 weeks ago
31 Aug 2026
EM
Ethan Mollick — holds since 2026-08-31 — tap for who they are
Same subject: AI-written prose is an inferior read because a model emits a statistical average -- code's audience is a machine, writing's audience is people. — tap to centre the map on it AI-written prose is an inferior read because a model emits a statistical average -- code's audience is a machine, writing's audience is people. Last stated 2 weeks ago
1 Sept 2026
GO
Gergely Orosz — holds since 2026-09-01 — tap for who they are
At the centre
Funding for mathematics and interest in the topic will rise considerably in the medium term
Holds TC Tyler CowenRead 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 GS Grant Sanderson
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 GS Grant Sanderson
Academic credentials — grades, major, the prestige of the degree — barely matter to industry hiring.
Holds PM Patrick McKenzie
Aesthetics is truth: when something is beautiful it is likely to be correct, in code as in mathematics and physics.
Holds
AI could compete with human mathematicians once it acquires a mathematical sense of smell: knowing which way of splitting a problem makes it easier rather than harder.
Holds TT Terence Tao
AI in chess and mathematics does not explain anything; it says which position is better, and humans build the theory from that.
Holds LF Lex Fridman
AI learning to generate good conjectures will never show up as a benchmark being knocked down; it will show up as a shift in how mathematicians talk about the tools.
Holds GS Grant Sanderson
AI systems are now capable of meaningful contributions to formal mathematics, not only informal problem-solving.
Holds TT Terence Tao
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 MK Martin Kleppmann
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 HW Hillel Wayne
AI-written code makes formal proof necessary, because human review of all that generated code becomes the bottleneck.
Holds MK Martin Kleppmann
Fraudulent papers pass peer review routinely, which is direct evidence that peer review does not do the job it is supposed to do.
Holds AM Adam Mastroianni
History has a reproducibility problem worse than science’s replication crisis, because hardly anyone ever goes back to the sources to check what a historian claimed they say.
Holds AH Anton Howes
Needing a reviewer's approval before an idea counts for anything makes scientists worse at thinking, and costs the field its most unusual ideas.
Holds AM Adam Mastroianni
AI content should be labelled rather than filtered: content should be judged by its point of view, never by the tool that made it.
Holds AM Adam Mosseri
AI-generated writing tends to repeat the same themes, names, and underlying ideas across different outputs.
Holds EM Ethan Mollick
AI-written prose is an inferior read because a model emits a statistical average -- code's audience is a machine, writing's audience is people.
Holds