Tap a claim on the ring to put it at the centre.
← AI labs cannot cooperate even on assigning credit for a math proof,…
17 connected korrents · 14 moments on record from 9 Nov 2023 to 13 Sept 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 scaling laws
scaling laws
Everything filed under OpenAI
OpenAI
Everything filed under AI alignment
AI alignment
Everything filed under education
education 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 labs cannot cooperate even on assigning credit for a math proof, which is a bad sign for higher-stakes coordination later. AI labs cannot cooperate even on assigning credit for a math proof, which is a bad sign for higher-stakes coordination later. Last stated today
13 Sept 2026
ZM
Zvi Mowshowitz — holds since 2026-09-13 — 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 were reasonable to assume a broken exploit grader would check results causally, even though it turned out not to. — tap to centre the map on it AI agents were reasonable to assume a broken exploit grader would check results causally, even though it turned out not to. Last stated 2 weeks ago
29 Aug 2026
ZM
Zvi Mowshowitz — holds since 2026-08-29 — tap for who they are
Same subject: Building AI that can actually be trusted is the goal; containing an AI known to be misaligned is not a substitute for it. — tap to centre the map on it Building AI that can actually be trusted is the goal; containing an AI known to be misaligned is not a substitute for it. Last stated 2 years ago
24 Jan 2025
JL
Jan Leike — holds since 2025-01-24 — 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: AI learning to generate good conjectures will never show up as a benchmark being knocked down; it will show up as a shift in how mathematicians talk about the tools. — tap to centre the map on it AI learning to generate good conjectures will never show up as a benchmark being knocked down; it will show up as a shift in how mathematicians talk about the tools. Last stated 2 months ago
30 Jun 2026
GS
Grant Sanderson — holds since 2026-06-30 — tap for who they are
Same subject: AI needs an objective third party that can see what each leading lab is doing and voice concerns publicly, even with no power to enforce anything. — tap to centre the map on it AI needs an objective third party that can see what each leading lab is doing and voice concerns publicly, even with no power to enforce anything. Last stated 3 years ago
9 Nov 2023
EM
Elon Musk — holds since 2023-11-09 — 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: You cannot learn from work you did not do yourself. — tap to centre the map on it You cannot learn from work you did not do yourself. Last stated 2 months ago
22 Jul 2026
SY
Scott H. Young — holds since 2026-07-22 — tap for who they are
Same subject: A trained model is a new kind of object that should be taken seriously as an explanation, once we work out the operations to perform on it. — tap to centre the map on it A trained model is a new kind of object that should be taken seriously as an explanation, once we work out the operations to perform on it. Last stated 5 months ago
7 Apr 2026
MN
Michael Nielsen — holds since 2026-04-07 — tap for who they are
Same subject: AI has driven the cost of generating scientific ideas to almost zero, and just as with cheap communication before it, that by itself creates no abundance. — tap to centre the map on it AI has driven the cost of generating scientific ideas to almost zero, and just as with cheap communication before it, that by itself creates no abundance. Last stated 6 months ago
20 Mar 2026
TT
Terence Tao — holds since 2026-03-20 — tap for who they are
Same subject: AI has made his papers richer and broader, but not deeper. — tap to centre the map on it AI has made his papers richer and broader, but not deeper. Last stated 6 months ago
20 Mar 2026
TT
Terence Tao — holds since 2026-03-20 — 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 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 5 months ago
22 Apr 2026
MK
Martin Kleppmann — holds since 2026-04-22 — tap for who they are
Same subject: A lab should spend most of its compute on research rather than on building the next model, because research is where the tenfold yearly efficiency gains come from. — tap to centre the map on it A lab should spend most of its compute on research rather than on building the next model, because research is where the tenfold yearly efficiency gains come from. Last stated 6 months ago
13 Mar 2026
DP
Dylan Patel — holds since 2026-03-13 — tap for who they are
Same subject: After pre-training, post-training and test-time scaling, the fourth scaling law is agentic: multiplying AI by spawning agents, and the whole loop scales on one thing, compute. — tap to centre the map on it After pre-training, post-training and test-time scaling, the fourth scaling law is agentic: multiplying AI by spawning agents, and the whole loop scales on one thing, compute. Last stated 6 months ago
23 Mar 2026
JH
Jensen Huang — holds since 2026-03-23 — tap for who they are
Same subject: AI model capability progress is not going to slow down soon — tap to centre the map on it AI model capability progress is not going to slow down soon Last stated a week ago
3 Sept 2026
AR
Armin Ronacher — holds since 2026-09-03 — tap for who they are
At the centre
AI labs cannot cooperate even on assigning credit for a math proof, which is a bad sign for higher-stakes coordination later.
Holds ZM Zvi MowshowitzRead this korrent →
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 agents were reasonable to assume a broken exploit grader would check results causally, even though it turned out not to.
Holds ZM Zvi Mowshowitz
Building AI that can actually be trusted is the goal; containing an AI known to be misaligned is not a substitute for it.
Holds JL Jan Leike
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
AI learning to generate good conjectures will never show up as a benchmark being knocked down; it will show up as a shift in how mathematicians talk about the tools.
Holds GS Grant Sanderson
AI needs an objective third party that can see what each leading lab is doing and voice concerns publicly, even with no power to enforce anything.
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 GS Grant Sanderson
You cannot learn from work you did not do yourself.
Holds SY Scott H. Young
A trained model is a new kind of object that should be taken seriously as an explanation, once we work out the operations to perform on it.
Holds MN Michael Nielsen
AI has driven the cost of generating scientific ideas to almost zero, and just as with cheap communication before it, that by itself creates no abundance.
Holds TT Terence Tao
AI has made his papers richer and broader, but not deeper.
Holds TT Terence Tao
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 lab should spend most of its compute on research rather than on building the next model, because research is where the tenfold yearly efficiency gains come from.
Holds DP Dylan Patel
After pre-training, post-training and test-time scaling, the fourth scaling law is agentic: multiplying AI by spawning agents, and the whole loop scales on one thing, compute.
Holds JH Jensen Huang
AI model capability progress is not going to slow down soon
Holds