Tap a claim on the ring to put it at the centre.
← Writing AI expectations into each rung of a career ladder is futile…
17 connected korrents · 14 moments on record from 24 Feb 2018 to 1 Sept 2026.
Everything filed under AI and jobs
AI and jobs
Everything filed under AI and science
AI and science
Everything filed under formal proof
formal proof
Everything filed under AI agents
AI agents
Everything filed under benchmarks
benchmarks 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: Writing AI expectations into each rung of a career ladder is futile when the technology changes by the month; one AI-fluency expectation across every role and level is what works. Writing AI expectations into each rung of a career ladder is futile when the technology changes by the month; one AI-fluency expectation across every role and level is what works. Last stated 2 months ago
19 Jul 2026
ES
Elizabeth Stone — holds since 2026-07-19 — tap for who they are
Same subject: In this era fluency with AI tools beats years of accumulated experience, so seniority is now a liability rather than an edge. — tap to centre the map on it In this era fluency with AI tools beats years of accumulated experience, so seniority is now a liability rather than an edge. Last stated a month ago
28 Jul 2026
SA
Sam Altman — holds since 2026-07-28 — tap for who they are
Same subject: The stable one-profession career is becoming a thing of the past; what will still be needed alongside AI is reasoning with abstractions and problem-solving when things go wrong. — tap to centre the map on it The stable one-profession career is becoming a thing of the past; what will still be needed alongside AI is reasoning with abstractions and problem-solving when things go wrong. Last stated a year ago
14 Jun 2025
TT
Terence Tao — holds since 2025-06-14 — tap for who they are
Same subject: AI helps exactly as far as the work is predictable and well documented, and stops helping on anything cutting edge. — tap to centre the map on it AI helps exactly as far as the work is predictable and well documented, and stops helping on anything cutting edge. Last stated a year ago
22 Mar 2025
TH
ThePrimeagen — holds since 2025-03-22 — tap for who they are
Same subject: Requiring everyone at a company to reach for AI first is a fairness measure, because otherwise the people who already do will take all the best careers. — tap to centre the map on it Requiring everyone at a company to reach for AI first is a fairness measure, because otherwise the people who already do will take all the best careers. Last stated 12 months ago
18 Sept 2025
TL
Tobias Lütke — holds since 2025-09-18 — tap for who they are
Same subject: Technologies are almost always preceded by slightly worse versions of themselves, and there is no reason for AI to be the exception. — tap to centre the map on it Technologies are almost always preceded by slightly worse versions of themselves, and there is no reason for AI to be the exception. Last stated 9 years ago
24 Feb 2018
PC
Paul Christiano — holds since 2018-02-24 — tap for who they are
Same subject: Daniel Dennett's intentional stance applies to AI agents as clearly as it applies to corporations, and you cannot usefully describe what they do without the language of goals. — tap to centre the map on it Daniel Dennett's intentional stance applies to AI agents as clearly as it applies to corporations, and you cannot usefully describe what they do without the language of goals. Last stated a week ago
1 Sept 2026
AC
Ajeya Cotra — holds since 2026-09-01 — 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: The future is a variety of AIs each person works with, not one big super intelligence. — tap to centre the map on it The future is a variety of AIs each person works with, not one big super intelligence. Last stated 3 years ago
28 Sept 2023
MZ
Mark Zuckerberg — holds since 2023-09-28 — tap for who they are
Same subject: A productivity improvement means fewer people doing the same job, and that should be said plainly by the people defending it as good. — tap to centre the map on it A productivity improvement means fewer people doing the same job, and that should be said plainly by the people defending it as good. Last stated 2 weeks ago
26 Aug 2026
DH
David Heinemeier Hansson — holds since 2026-08-26 — tap for who they are
Same subject: A universal basic income is a dangerous power-sharing arrangement, because it puts everyone's basic needs at the mercy of whoever holds office. — tap to centre the map on it A universal basic income is a dangerous power-sharing arrangement, because it puts everyone's basic needs at the mercy of whoever holds office. Last stated 3 months ago
4 Jun 2026
AI
Alex Imas — holds since 2026-06-04 — tap for who they are
Same subject: AI could displace half of all entry-level white-collar jobs within one to five years, even while it accelerates economic growth. — tap to centre the map on it AI could displace half of all entry-level white-collar jobs within one to five years, even while it accelerates economic growth. Last stated 8 months ago
1 Jan 2026
DA
Dario Amodei — holds since 2026-01-01 — tap for who they are
Same subject: AI will transform how scientific discovery is done, and within two or three years a working scientist's job will already look dramatically different. — tap to centre the map on it AI will transform how scientific discovery is done, and within two or three years a working scientist's job will already look dramatically different. Last stated 3 weeks ago
18 Aug 2026
MK
Michael Kratsios — holds since 2026-08-18 — tap for who they are
Same subject: Autonomous cloud labs that run the whole loop — hypothesis, experiment, result, next hypothesis — without human intervention are within reach. — tap to centre the map on it Autonomous cloud labs that run the whole loop — hypothesis, experiment, result, next hypothesis — without human intervention are within reach. Last stated 3 weeks ago
18 Aug 2026
MK
Michael Kratsios — holds since 2026-08-18 — tap for who they are
Same subject: Current AI struggles even to rediscover old laws of physics from data, and when it does, contamination from training is the first suspect. — tap to centre the map on it Current AI struggles even to rediscover old laws of physics from data, and when it does, contamination from training is the first suspect. Last stated a year ago
14 Jun 2025
TT
Terence Tao — holds since 2025-06-14 — 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: Formal verification is about to become economical, because models are getting good enough at writing the proofs that humans no longer have to. — tap to centre the map on it Formal verification is about to become economical, because models are getting good enough at writing the proofs that humans no longer have to. Last stated 5 months ago
22 Apr 2026
MK
Martin Kleppmann — holds since 2026-04-22 — tap for who they are
Same subject: Formalising a proof in Lean currently takes about ten times the effort of writing it out: doable, but annoying. — tap to centre the map on it Formalising a proof in Lean currently takes about ten times the effort of writing it out: doable, but annoying. Last stated a year ago
14 Jun 2025
TT
Terence Tao — holds since 2025-06-14 — tap for who they are
At the centre
Writing AI expectations into each rung of a career ladder is futile when the technology changes by the month; one AI-fluency expectation across every role and level is what works.
Holds ES Elizabeth StoneRead this korrent →
In this era fluency with AI tools beats years of accumulated experience, so seniority is now a liability rather than an edge.
Holds
The stable one-profession career is becoming a thing of the past; what will still be needed alongside AI is reasoning with abstractions and problem-solving when things go wrong.
Holds TT Terence Tao
AI helps exactly as far as the work is predictable and well documented, and stops helping on anything cutting edge.
Holds TH ThePrimeagen
Requiring everyone at a company to reach for AI first is a fairness measure, because otherwise the people who already do will take all the best careers.
Holds
Technologies are almost always preceded by slightly worse versions of themselves, and there is no reason for AI to be the exception.
Holds PC Paul Christiano
Daniel Dennett's intentional stance applies to AI agents as clearly as it applies to corporations, and you cannot usefully describe what they do without the language of goals.
Holds AC Ajeya Cotra
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
The future is a variety of AIs each person works with, not one big super intelligence.
Holds MZ Mark Zuckerberg
A productivity improvement means fewer people doing the same job, and that should be said plainly by the people defending it as good.
Holds
A universal basic income is a dangerous power-sharing arrangement, because it puts everyone's basic needs at the mercy of whoever holds office.
Holds AI Alex Imas
AI could displace half of all entry-level white-collar jobs within one to five years, even while it accelerates economic growth.
Holds DA Dario Amodei
AI will transform how scientific discovery is done, and within two or three years a working scientist's job will already look dramatically different.
Holds MK Michael Kratsios
Autonomous cloud labs that run the whole loop — hypothesis, experiment, result, next hypothesis — without human intervention are within reach.
Holds MK Michael Kratsios
Current AI struggles even to rediscover old laws of physics from data, and when it does, contamination from training is the first suspect.
Holds TT Terence Tao
AI-written code makes formal proof necessary, because human review of all that generated code becomes the bottleneck.
Holds MK Martin Kleppmann
Formal verification is about to become economical, because models are getting good enough at writing the proofs that humans no longer have to.
Holds MK Martin Kleppmann
Formalising a proof in Lean currently takes about ten times the effort of writing it out: doable, but annoying.
Holds TT Terence Tao