Tap a claim on the ring to put it at the centre.
← AI could potentially reach a level of capability where it can perform…
17 connected korrents · 14 moments from 7 Sept 2008 to 7 Aug 2026.
Everything filed under AI and science
AI and science
Everything filed under mathematics
mathematics
Everything filed under formal proof
formal proof
Everything filed under LLMs
LLMs
Everything filed under AGI
AGI
Everything filed under design
design 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 could potentially reach a level of capability where it can perform all aspects of mathematical problem solving, theory building, and definition formulation. 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: Most of the useful mathematics AI produces over the next five years will be filling in connections that only somebody expert in several fields could draw. — tap to centre the map on it Most of the useful mathematics AI produces over the next five years will be filling in connections that only somebody expert in several fields could draw. Last stated 4 months ago
30 Jun 2026
GS
Grant Sanderson — holds since 2026-06-30 — 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 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: 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: Future AI, say in fifteen years, will not be built on the LLM stack; it will have to move to symbolic learning. — tap to centre the map on it Future AI, say in fifteen years, will not be built on the LLM stack; it will have to move to symbolic learning. Last stated 3 months ago
7 Aug 2026
FC
François Chollet — holds since 2026-08-07 — tap for who they are
Same subject: Human-level artificial intelligence is plausibly centuries or millennia away, and no trend supports a shorter estimate. — tap to centre the map on it Human-level artificial intelligence is plausibly centuries or millennia away, and no trend supports a shorter estimate. Last stated 3 years ago
13 Dec 2023
SA
Scott Aaronson — holds since 2008-09-07 — tap for who they are
SA
Scott Aaronson — no longer holds since 2023-12-13 — 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 7 months ago
20 Mar 2026
TT
Terence Tao — holds since 2026-03-20 — tap for who they are
Same subject: The current system of incentives for mathematical research will be disturbed by AI. — tap to centre the map on it The current system of incentives for mathematical research will be disturbed by AI. Last stated 3 months ago
26 Jul 2026
TG
Timothy Gowers — 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 narrow, highly accurate model can beat a general one inside its own domain, as AlphaFold did, and materials science and chip design are next. — tap to centre the map on it A narrow, highly accurate model can beat a general one inside its own domain, as AlphaFold did, and materials science and chip design are next. Last stated 3 months ago
30 Jul 2026
JD
Jeff Dean — holds since 2026-07-30 — tap for who they are
Same subject: Accurate computational approaches are needed to close the protein structural coverage gap and enable large-scale structural bioinformatics. — tap to centre the map on it Accurate computational approaches are needed to close the protein structural coverage gap and enable large-scale structural bioinformatics. Last stated 5 years ago
15 Jul 2021
DH
Demis Hassabis — holds since 2021-07-15 — tap for who they are
Same subject: AI models can be more accurate than physical experiments by averaging out noise, incorporating priors from large datasets, and interpolating between data points. — tap to centre the map on it AI models can be more accurate than physical experiments by averaging out noise, incorporating priors from large datasets, and interpolating between data points. Last stated 11 months ago
23 Nov 2025
EH
Elliot Hershberg — holds since 2025-11-23 — 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
At the centre
AI could potentially reach a level of capability where it can perform all aspects of mathematical problem solving, theory building, and definition formulation.
Holds Read this korrent →
Most of the useful mathematics AI produces over the next five years will be filling in connections that only somebody expert in several fields could draw.
Holds
His prediction that research-level mathematics papers would be written in collaboration with AI by 2026 has already come true.
Holds
AI agents have not yet produced anything genuinely new or important in mathematics.
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
Future AI, say in fifteen years, will not be built on the LLM stack; it will have to move to symbolic learning.
Holds
Human-level artificial intelligence is plausibly centuries or millennia away, and no trend supports a shorter estimate.
No longer holds
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
The current system of incentives for mathematical research will be disturbed by AI.
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 narrow, highly accurate model can beat a general one inside its own domain, as AlphaFold did, and materials science and chip design are next.
Holds
Accurate computational approaches are needed to close the protein structural coverage gap and enable large-scale structural bioinformatics.
Holds
AI models can be more accurate than physical experiments by averaging out noise, incorporating priors from large datasets, and interpolating between data points.
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