Tap a claim on the ring to put it at the centre.
← The error rate of these AI-generated mathematical results is impressively low.
17 connected korrents · 14 moments from 15 Jul 2021 to 9 Oct 2026.
Everything filed under mathematics
mathematics
Everything filed under formal proof
formal proof
Everything filed under protein structure prediction
protein structure prediction
Everything filed under recursive self-improvement
recursive self-improvement
Everything filed under code generation
code generation
Everything filed under AI alignment
AI alignment
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: The error rate of these AI-generated mathematical results is impressively low. The error rate of these AI-generated mathematical results is impressively low. Last stated today
9 Oct 2026
ZM
Zvi Mowshowitz — holds since 2026-10-09 — tap for who they are
Same subject: A stream of AI-written papers with any error rate at all becomes insufferable, because finding the error costs more than the paper is worth even at ninety-nine percent. — tap to centre the map on it A stream of AI-written papers with any error rate at all becomes insufferable, because finding the error costs more than the paper is worth even at ninety-nine percent. Last stated 3 months ago
30 Jun 2026
GS
Grant Sanderson — holds since 2026-06-30 — tap for who they are
Same subject: AI-generated code is not fully reliable and typically needs significant manual effort to keep it working correctly. — tap to centre the map on it AI-generated code is not fully reliable and typically needs significant manual effort to keep it working correctly. Last stated 4 months ago
16 Jun 2026
SW
Stephen Wolfram — holds since 2026-06-16 — 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 likeliest bad path is not a coup but sloppiness: AI does everything verifiable well, research races ahead, and the subtle work of keeping AI safe is what gets done badly. — tap to centre the map on it The likeliest bad path is not a coup but sloppiness: AI does everything verifiable well, research races ahead, and the subtle work of keeping AI safe is what gets done badly. Last stated 2 months ago
11 Aug 2026
RG
Ryan Greenblatt — holds since 2026-08-11 — 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 3 months ago
30 Jun 2026
GS
Grant Sanderson — holds since 2026-06-30 — tap for who they are
Same subject: On any given problem an AI tool succeeds maybe one or two percent of the time; the headline results are what running it at scale and picking the winners looks like. — tap to centre the map on it On any given problem an AI tool succeeds maybe one or two percent of the time; the headline results are what running it at scale and picking the winners looks like. 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 2 months ago
26 Jul 2026
PW
Peter Woit — holds since 2026-07-26 — 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: 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 2 months ago
30 Jul 2026
JD
Jeff Dean — holds since 2026-07-30 — tap for who they are
Same subject: Contemporary physical and evolutionary structure-prediction approaches fall far short of experimental accuracy without a close experimental homologue, limiting biological utility. — tap to centre the map on it Contemporary physical and evolutionary structure-prediction approaches fall far short of experimental accuracy without a close experimental homologue, limiting biological utility. Last stated 5 years ago
15 Jul 2021
DH
Demis Hassabis — holds since 2021-07-15 — tap for who they are
Same subject: Deep learning has effectively solved the problem of predicting a protein's 3D structure from its sequence. — tap to centre the map on it Deep learning has effectively solved the problem of predicting a protein's 3D structure from its sequence. Last stated a year ago
29 Jun 2025
EH
Elliot Hershberg — holds since 2025-06-29 — 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 2 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 ban on self-recursive improvement in AI models would create a big incentive for some other parts of the world to invest a lot more in compute. — tap to centre the map on it A ban on self-recursive improvement in AI models would create a big incentive for some other parts of the world to invest a lot more in compute. Last stated 2 weeks ago
22 Sept 2026
TC
Tyler Cowen — holds since 2026-09-22 — tap for who they are
Same subject: AI is already inside the recursive self-improvement loop — what the labs have shipped in recent weeks shows the cycle has started. — tap to centre the map on it AI is already inside the recursive self-improvement loop — what the labs have shipped in recent weeks shows the cycle has started. Last stated 2 months ago
3 Aug 2026
CP
Chamath Palihapitiya — holds since 2026-08-03 — tap for who they are
Same subject: AI research will be fully automated around 2030 or 2031, and AI will beat humans at essentially any job by about 2033. — tap to centre the map on it AI research will be fully automated around 2030 or 2031, and AI will beat humans at essentially any job by about 2033. Last stated 2 months ago
11 Aug 2026
RG
Ryan Greenblatt — holds since 2026-08-11 — tap for who they are
At the centre
The error rate of these AI-generated mathematical results is impressively low.
Holds Read this korrent →
A stream of AI-written papers with any error rate at all becomes insufferable, because finding the error costs more than the paper is worth even at ninety-nine percent.
Holds
AI-generated code is not fully reliable and typically needs significant manual effort to keep it working correctly.
Holds
His prediction that research-level mathematics papers would be written in collaboration with AI by 2026 has already come true.
Holds
The likeliest bad path is not a coup but sloppiness: AI does everything verifiable well, research races ahead, and the subtle work of keeping AI safe is what gets done badly.
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
On any given problem an AI tool succeeds maybe one or two percent of the time; the headline results are what running it at scale and picking the winners looks like.
Holds
AI agents have not yet produced anything genuinely new or important in mathematics.
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
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
Contemporary physical and evolutionary structure-prediction approaches fall far short of experimental accuracy without a close experimental homologue, limiting biological utility.
Holds
Deep learning has effectively solved the problem of predicting a protein's 3D structure from its sequence.
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 ban on self-recursive improvement in AI models would create a big incentive for some other parts of the world to invest a lot more in compute.
Holds
AI is already inside the recursive self-improvement loop — what the labs have shipped in recent weeks shows the cycle has started.
Holds
AI research will be fully automated around 2030 or 2031, and AI will beat humans at essentially any job by about 2033.
Holds