Tap a claim on the ring to put it at the centre.
← AI has solved in an afternoon of compute maths problems that stumped the best human minds for decades.
17 connected korrents · 15 moments from 15 Jul 2021 to 7 Oct 2026.
Everything filed under mathematics
mathematics
Everything filed under AI and science
AI and science
Everything filed under formal proof
formal proof
Everything filed under LLMs
LLMs
Everything filed under mental models
mental models
Everything filed under optimism
optimism 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 has solved in an afternoon of compute maths problems that stumped the best human minds for decades. AI has solved in an afternoon of compute maths problems that stumped the best human minds for decades. Last stated 4 weeks ago
7 Oct 2026
AA
Azeem Azhar — holds since 2026-10-07 — 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 8 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 8 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 4 months ago
30 Jun 2026
GS
Grant Sanderson — holds since 2026-06-30 — tap for who they are
Same subject: AI excels at certain tasks but cannot substitute for human thinking. — tap to centre the map on it AI excels at certain tasks but cannot substitute for human thinking. Last stated 2 months ago
1 Sept 2026
NM
Nick Maggiulli — holds since 2026-09-01 — 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 3 months ago
10 Aug 2026
FL
Fei-Fei Li — holds since 2026-08-10 — tap for who they are
Same subject: The problem with the AI era is not the technology but what its pace does to decision-making. — tap to centre the map on it The problem with the AI era is not the technology but what its pace does to decision-making. Last stated 7 months ago
16 Apr 2026
CI
Christine Itwaru — holds since 2026-04-16 — 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 makes this a golden age for programming and a more level playing field. — tap to centre the map on it AI makes this a golden age for programming and a more level playing field. Last stated 9 months ago
19 Feb 2026
NR
Naval Ravikant — holds since 2026-02-19 — 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: 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: AI will not produce a big breakthrough in biological understanding any time soon, because biology has nothing like the clean, complete, high-quality data that made protein-structure prediction work. — tap to centre the map on it AI will not produce a big breakthrough in biological understanding any time soon, because biology has nothing like the clean, complete, high-quality data that made protein-structure prediction work. Last stated 2 years ago
19 Sept 2024
DL
Derek Lowe — holds since 2024-09-19 — 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 has solved in an afternoon of compute maths problems that stumped the best human minds for decades.
Holds Read this korrent →
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 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
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
AI excels at certain tasks but cannot substitute for human thinking.
Holds
The mathematical problems whose solutions have not yet been invented will be solved by humans working alongside AI, not by either alone.
Holds
The problem with the AI era is not the technology but what its pace does to decision-making.
Holds
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 makes this a golden age for programming and a more level playing field.
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
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
AI will not produce a big breakthrough in biological understanding any time soon, because biology has nothing like the clean, complete, high-quality data that made protein-structure prediction work.
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