Tap a claim on the ring to put it at the centre.
← Current AI4Math systems largely operate as solvers of isolated,…
17 connected korrents · 12 moments on record from 13 Dec 2022 to 10 Aug 2026. Nearly all of them are about mathematics .
Everything filed under formal proof
formal proof
Everything filed under peer review
peer review
Everything filed under physics
physics
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: Current AI4Math systems largely operate as solvers of isolated, well-defined proofs rather than as researchers that expand mathematical knowledge. Current AI4Math systems largely operate as solvers of isolated, well-defined proofs rather than as researchers that expand mathematical knowledge. Last stated 2 months ago
8 Jul 2026
TT
Terence Tao — holds since 2026-07-08 — tap for who they are
Same subject: The next advance in AI for mathematics requires shifting from predefined problem-solvers to research agents that address frontier challenges with formal reasoning. — tap to centre the map on it The next advance in AI for mathematics requires shifting from predefined problem-solvers to research agents that address frontier challenges with formal reasoning. Last stated 2 months ago
8 Jul 2026
TT
Terence Tao — holds since 2026-07-08 — 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: 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: AI will revolutionise mathematics by giving it an experimental side: large-scale data on which methods work, rather than the careful solving of individual problems. — tap to centre the map on it AI will revolutionise mathematics by giving it an experimental side: large-scale data on which methods work, rather than the careful solving of individual problems. Last stated 6 months ago
20 Mar 2026
TT
Terence Tao — holds since 2026-03-20 — 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 a month 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 6 months ago
20 Mar 2026
TT
Terence Tao — holds since 2026-03-20 — tap for who they are
Same subject: Within a decade AI will do the bulk of what mathematicians spend their time on, and we will discover that was never the important part of the job. — tap to centre the map on it Within a decade AI will do the bulk of what mathematicians spend their time on, and we will discover that was never the important part of the job. Last stated 6 months ago
20 Mar 2026
TT
Terence Tao — holds since 2026-03-20 — tap for who they are
Same subject: He used to think explaining AI's results would be the mathematician's remaining job; he now expects AI to explain better than most humans, so that is not what is left. — tap to centre the map on it He used to think explaining AI's results would be the mathematician's remaining job; he now expects AI to explain better than most humans, so that is not what is left. Last stated 2 months ago
30 Jun 2026
GS
Grant Sanderson — holds since 2026-06-30 — 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: A far-fetched idea earns its place in physics only when you can go out and look for its observational consequences. — tap to centre the map on it A far-fetched idea earns its place in physics only when you can go out and look for its observational consequences. Last stated 3 years ago
3 Dec 2023
LR
Lisa Randall — holds since 2023-12-03 — tap for who they are
Same subject: A frontier lab should not spend its researchers harvesting results out of today's models; the payoff is in building the next one. — tap to centre the map on it A frontier lab should not spend its researchers harvesting results out of today's models; the payoff is in building the next one. Last stated 2 months ago
26 Jun 2026
NB
Noam Brown — holds since 2026-06-26 — tap for who they are
Same subject: A theory gets abandoned when the old explanation becomes visibly insufficient: special relativity made Newtonian gravity's action at a distance impossible, and that was the forcing function. — tap to centre the map on it A theory gets abandoned when the old explanation becomes visibly insufficient: special relativity made Newtonian gravity's action at a distance impossible, and that was the forcing function. Last stated 5 months ago
7 Apr 2026
MN
Michael Nielsen — holds since 2026-04-07 — 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
At the centre
Current AI4Math systems largely operate as solvers of isolated, well-defined proofs rather than as researchers that expand mathematical knowledge.
Holds TT Terence TaoRead this korrent →
The next advance in AI for mathematics requires shifting from predefined problem-solvers to research agents that address frontier challenges with formal reasoning.
Holds TT Terence Tao
AI systems are now capable of meaningful contributions to formal mathematics, not only informal problem-solving.
Holds TT Terence Tao
His prediction that research-level mathematics papers would be written in collaboration with AI by 2026 has already come true.
Holds TT Terence Tao
AI will revolutionise mathematics by giving it an experimental side: large-scale data on which methods work, rather than the careful solving of individual problems.
Holds TT Terence Tao
The mathematical problems whose solutions have not yet been invented will be solved by humans working alongside AI, not by either alone.
Holds FL Fei-Fei Li
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 TT Terence Tao
Within a decade AI will do the bulk of what mathematicians spend their time on, and we will discover that was never the important part of the job.
Holds TT Terence Tao
He used to think explaining AI's results would be the mathematician's remaining job; he now expects AI to explain better than most humans, so that is not what is left.
Holds GS Grant Sanderson
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
A far-fetched idea earns its place in physics only when you can go out and look for its observational consequences.
Holds LR Lisa Randall
A frontier lab should not spend its researchers harvesting results out of today's models; the payoff is in building the next one.
Holds NB Noam Brown
A theory gets abandoned when the old explanation becomes visibly insufficient: special relativity made Newtonian gravity's action at a distance impossible, and that was the forcing function.
Holds MN Michael Nielsen
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