Tap a claim on the ring to put it at the centre.
← AI will undeniably change how we learn, teach and do math.
17 connected korrents · 16 moments from 3 Dec 2017 to 10 Oct 2026. Nearly all of them are about mathematics .
Everything filed under education
education
Everything filed under formal proof
formal proof
Everything filed under AI agents
AI agents
Everything filed under AI and science
AI and science
Everything filed under AGI
AGI 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: AI will undeniably change how we learn, teach and do math. AI will undeniably change how we learn, teach and do math. Last stated 10 months ago
31 Dec 2025
PH
Patrick Honner — holds since 2025-12-31 — tap for who they are
Same subject: AI could potentially reach a level of capability where it can perform all aspects of mathematical problem solving, theory building, and definition formulation. — tap to centre the map on it AI could potentially reach a level of capability where it can perform all aspects of mathematical problem solving, theory building, and definition formulation. Last stated 3 months ago
26 Jul 2026
TG
Timothy Gowers — holds since 2026-07-26 — 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: 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 8 months ago
20 Mar 2026
TT
Terence Tao — holds since 2026-03-20 — tap for who they are
Same subject: It would be disappointing and surprising if the next five years of AI progress in mathematics produced no economically valuable improvements traceable to it. — tap to centre the map on it It would be disappointing and surprising if the next five years of AI progress in mathematics produced no economically valuable improvements traceable to it. Last stated 4 months ago
30 Jun 2026
GS
Grant Sanderson — holds since 2026-06-30 — 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: If AI invents math with clear practical application, it will be used without being understood. — tap to centre the map on it If AI invents math with clear practical application, it will be used without being understood. Last stated 4 weeks ago
10 Oct 2026
NS
Noah Smith — holds since 2026-10-10 — tap for who they are
Same subject: AI's impact will be bigger than the internet's, and more profound. — tap to centre the map on it AI's impact will be bigger than the internet's, and more profound. Last stated 5 months ago
18 Jun 2026
LT
Lip-Bu Tan — holds since 2026-06-18 — 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: 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 billboard buys only short, shallow awareness, so it does not work for education or for a startup before product-market fit. — tap to centre the map on it A billboard buys only short, shallow awareness, so it does not work for education or for a startup before product-market fit. Last stated 5 months ago
9 Jun 2026
EK
Emily Kramer — holds since 2026-06-09 — tap for who they are
Same subject: A clear explanation alone does not usually make people understand a scientific idea. — tap to centre the map on it A clear explanation alone does not usually make people understand a scientific idea. Last stated 9 years ago
3 Dec 2017
AS
Alom Shaha — holds since 2017-12-03 — 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: AI makes building easier, but the future needs builders with real expertise, best developed in school. — tap to centre the map on it AI makes building easier, but the future needs builders with real expertise, best developed in school. Last stated 2 months ago
8 Sept 2026
AJ
Andy Jassy — holds since 2026-09-08 — tap for who they are
Same subject: Offloading thinking to AI tools does not stop a person from learning; it can push them to learn more. — tap to centre the map on it Offloading thinking to AI tools does not stop a person from learning; it can push them to learn more. Last stated 2 months ago
21 Aug 2026
MW
Matt Webb — holds since 2026-08-21 — tap for who they are
Same subject: Some cognitive effort is essential to learning, and subcontracting that effort to a device will also subcontract out the learning. — tap to centre the map on it Some cognitive effort is essential to learning, and subcontracting that effort to a device will also subcontract out the learning. Last stated 2 months ago
13 Sept 2026
NW
Natalie Wexler — holds since 2026-09-13 — tap for who they are
At the centre
AI will undeniably change how we learn, teach and do math.
Holds Read this korrent →
AI could potentially reach a level of capability where it can perform all aspects of mathematical problem solving, theory building, and definition formulation.
Holds
AI agents are going to have major consequences for how mathematics research is done.
Holds
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
It would be disappointing and surprising if the next five years of AI progress in mathematics produced no economically valuable improvements traceable to it.
Holds
AI agents have not yet produced anything genuinely new or important in mathematics.
Holds
If AI invents math with clear practical application, it will be used without being understood.
Holds
AI's impact will be bigger than the internet's, and more profound.
Holds
His prediction that research-level mathematics papers would be written in collaboration with AI by 2026 has already come true.
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 billboard buys only short, shallow awareness, so it does not work for education or for a startup before product-market fit.
Holds
A clear explanation alone does not usually make people understand a scientific idea.
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
AI makes building easier, but the future needs builders with real expertise, best developed in school.
Holds
Offloading thinking to AI tools does not stop a person from learning; it can push them to learn more.
Holds
Some cognitive effort is essential to learning, and subcontracting that effort to a device will also subcontract out the learning.
Holds