Tap a claim on the ring to put it at the centre.
← Almost every Erdős problem AI has solved was one with no literature…
17 connected korrents · 13 moments from 2 Jun 2018 to 15 Sept 2026.
Everything filed under mathematics
mathematics
Everything filed under AI agents
AI agents
Everything filed under education
education
Everything filed under formal proof
formal proof
Everything filed under AI and science
AI and science
Everything filed under coding agents
coding agents 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: Almost every Erdős problem AI has solved was one with no literature behind it, which is the median level of what these tools can do. Almost every Erdős problem AI has solved was one with no literature behind it, which is the median level of what these tools can do. Last stated 7 months ago
20 Mar 2026
TT
Terence Tao — holds since 2026-03-20 — tap for who they are
Same subject: The month in which AI one-shot solutions to open Erdős problems kept arriving has ended, and it was not for lack of people trying. — tap to centre the map on it The month in which AI one-shot solutions to open Erdős problems kept arriving has ended, and it was not for lack of people trying. Last stated 7 months ago
20 Mar 2026
TT
Terence Tao — holds since 2026-03-20 — tap for who they are
Same subject: The hardest part of solving a mathematical problem is the part AI has not touched; he still does it with pen and paper. — tap to centre the map on it The hardest part of solving a mathematical problem is the part AI has not touched; he still does it with pen and paper. Last stated 7 months ago
20 Mar 2026
TT
Terence Tao — holds since 2026-03-20 — tap for who they are
Same subject: His prediction that research-level mathematics papers would be written in collaboration with AI by 2026 has already come true. — tap to centre the map on it His prediction that research-level mathematics papers would be written in collaboration with AI by 2026 has already come true. Last stated a year ago
14 Jun 2025
TT
Terence Tao — holds since 2025-06-14 — tap for who they are
Same subject: The mathematical problems whose solutions have not yet been invented will be solved by humans working alongside AI, not by either alone. — tap to centre the map on it The mathematical problems whose solutions have not yet been invented will be solved by humans working alongside AI, not by either alone. Last stated 2 months ago
10 Aug 2026
FL
Fei-Fei Li — holds since 2026-08-10 — tap for who they are
Same subject: What AI still cannot do in mathematics is build cumulatively on partial progress; it is trial, error and brute force rather than an idea improving through use. — tap to centre the map on it What AI still cannot do in mathematics is build cumulatively on partial progress; it is trial, error and brute force rather than an idea improving through use. Last stated 7 months ago
20 Mar 2026
TT
Terence Tao — holds since 2026-03-20 — 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 3 months ago
26 Jul 2026
PW
Peter Woit — holds since 2026-07-26 — 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 4 months ago
30 Jun 2026
GS
Grant Sanderson — holds since 2026-06-30 — tap for who they are
Same subject: Asked to find a deep bug, coding agents can patch many small issues that feel like progress while steering you away from the real problem; there is still no substitute for expertise. — tap to centre the map on it Asked to find a deep bug, coding agents can patch many small issues that feel like progress while steering you away from the real problem; there is still no substitute for expertise. Last stated 3 months ago
5 Aug 2026
BV
Ben Vinegar — holds since 2026-08-05 — 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 collection of AI agents does not automatically form a functioning organization any more than a group of smart people does. — tap to centre the map on it A collection of AI agents does not automatically form a functioning organization any more than a group of smart people does. Last stated 5 months ago
21 May 2026
RK
Rohit Krishnan — holds since 2026-05-21 — tap for who they are
Same subject: A company cannot be led by machines, because nobody would have recourse against them. — tap to centre the map on it A company cannot be led by machines, because nobody would have recourse against them. Last stated a month ago
15 Sept 2026
TL
Tobias Lütke — holds since 2026-09-15 — tap for who they are
Same subject: A computer-using agent needs a machine of its own, or you will spend the day fighting it for the mouse cursor. — tap to centre the map on it A computer-using agent needs a machine of its own, or you will spend the day fighting it for the mouse cursor. Last stated 2 months ago
10 Aug 2026
PS
Peter Steinberger — holds since 2026-08-10 — tap for who they are
Same subject: A better school looks more like the old-fashioned schoolhouse than like project work; the more school resembles free play, the worse it gets. — tap to centre the map on it A better school looks more like the old-fashioned schoolhouse than like project work; the more school resembles free play, the worse it gets. Last stated 5 months ago
27 May 2026
SY
Scott H. Young — holds since 2026-05-27 — tap for who they are
Same subject: A dense-looking building does not by itself create a livable dense suburb without supporting schools and shops. — tap to centre the map on it A dense-looking building does not by itself create a livable dense suburb without supporting schools and shops. Last stated 8 years ago
2 Jun 2018
FS
Felix Salmon — holds since 2018-06-02 — tap for who they are
Same subject: A design course should start with history and art, grounding students in the world, rather than with tools that may be gone tomorrow. — tap to centre the map on it A design course should start with history and art, grounding students in the world, rather than with tools that may be gone tomorrow. Last stated 2 years ago
21 Feb 2025
TC
Thiago Costa — holds since 2025-02-21 — tap for who they are
At the centre
Almost every Erdős problem AI has solved was one with no literature behind it, which is the median level of what these tools can do.
Holds Read this korrent →
The month in which AI one-shot solutions to open Erdős problems kept arriving has ended, and it was not for lack of people trying.
Holds
The hardest part of solving a mathematical problem is the part AI has not touched; he still does it with pen and paper.
Holds
His prediction that research-level mathematics papers would be written in collaboration with AI by 2026 has already come true.
Holds
The mathematical problems whose solutions have not yet been invented will be solved by humans working alongside AI, not by either alone.
Holds
What AI still cannot do in mathematics is build cumulatively on partial progress; it is trial, error and brute force rather than an idea improving through use.
Holds
AI agents have not yet produced anything genuinely new or important in mathematics.
Holds
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
Asked to find a deep bug, coding agents can patch many small issues that feel like progress while steering you away from the real problem; there is still no substitute for expertise.
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 collection of AI agents does not automatically form a functioning organization any more than a group of smart people does.
Holds
A company cannot be led by machines, because nobody would have recourse against them.
Holds
A computer-using agent needs a machine of its own, or you will spend the day fighting it for the mouse cursor.
Holds
A better school looks more like the old-fashioned schoolhouse than like project work; the more school resembles free play, the worse it gets.
Holds
A dense-looking building does not by itself create a livable dense suburb without supporting schools and shops.
Holds
A design course should start with history and art, grounding students in the world, rather than with tools that may be gone tomorrow.
Holds