Tap a claim on the ring to put it at the centre.
← AI systems are much better at tasks whose correctness can be verified…
17 connected korrents · 17 moments from 3 Oct 2012 to 30 Oct 2026.
Everything filed under AGI
AGI
Everything filed under software quality
software quality
Everything filed under AI and science
AI and science
Everything filed under AI alignment
AI alignment
Everything filed under robotics
robotics
Everything filed under reinforcement learning
reinforcement learning
Everything filed under LLMs
LLMs
Everything filed under measuring intelligence
measuring intelligence 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 systems are much better at tasks whose correctness can be verified than at tasks whose correctness cannot be checked. AI systems are much better at tasks whose correctness can be verified than at tasks whose correctness cannot be checked. Last stated 4 months ago
13 Jul 2026
AN
Arvind Narayanan — holds since 2026-07-13 — tap for who they are
Same subject: With AI, verification has become the bottleneck in producing work, whereas before it happened incidentally during creation. — tap to centre the map on it With AI, verification has become the bottleneck in producing work, whereas before it happened incidentally during creation. Last stated 4 months ago
29 Jun 2026
HH
Hamel Husain — holds since 2026-06-29 — tap for who they are
Same subject: AI systems are better than humans at coordinating with each other, and they move much faster than humans do. — tap to centre the map on it AI systems are better than humans at coordinating with each other, and they move much faster than humans do. Last stated 2 months ago
31 Aug 2026
JC
Jack Clark — holds since 2026-08-31 — tap for who they are
Same subject: As AI systems get better at scientific research tasks, it becomes more likely they will soon be capable of improving and building themselves. — tap to centre the map on it As AI systems get better at scientific research tasks, it becomes more likely they will soon be capable of improving and building themselves. Last stated 2 months ago
17 Aug 2026
JC
Jack Clark — holds since 2026-08-17 — 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 3 months ago
11 Aug 2026
RG
Ryan Greenblatt — holds since 2026-08-11 — tap for who they are
Same subject: AI makes it easier for more people to breach systems. — tap to centre the map on it AI makes it easier for more people to breach systems. Last stated today
30 Oct 2026
GO
Gergely Orosz — holds since 2026-10-30 — tap for who they are
Same subject: AI is not yet capable of autonomously handling all real-world tasks. — tap to centre the map on it AI is not yet capable of autonomously handling all real-world tasks. Last stated a month ago
23 Sept 2026
MS
M.G. Siegler — holds since 2026-09-23 — tap for who they are
Same subject: A verifiable task can be optimised by reinforcement learning until a neural network performs it extremely well. — tap to centre the map on it A verifiable task can be optimised by reinforcement learning until a neural network performs it extremely well. Last stated 11 months ago
17 Nov 2025
AK
Andrej Karpathy — holds since 2025-11-17 — 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: A country outside the AI supply chain should just buy the index — which works only in the world where AI ends up commoditised rather than concentrated. — tap to centre the map on it A country outside the AI supply chain should just buy the index — which works only in the world where AI ends up commoditised rather than concentrated. Last stated 5 months ago
4 Jun 2026
AI
Alex Imas — holds since 2026-06-04 — tap for who they are
Same subject: A human being is not an AGI: we lack a huge amount of knowledge and rely on continual learning instead, so continual learning is what superintelligence should mean. — tap to centre the map on it A human being is not an AGI: we lack a huge amount of knowledge and rely on continual learning instead, so continual learning is what superintelligence should mean. Last stated 11 months ago
25 Nov 2025
IS
Ilya Sutskever — holds since 2025-11-25 — tap for who they are
Same subject: A language model is no substitute for a well-specified conventional algorithm, so it cannot simply be dropped into a complex problem and trusted. — tap to centre the map on it A language model is no substitute for a well-specified conventional algorithm, so it cannot simply be dropped into a complex problem and trusted. Last stated a year ago
7 Jun 2025
GM
Gary Marcus — holds since 2025-06-07 — tap for who they are
Same subject: 95 percent of the software made in an age of abundance will be shitty, and shitty software is easy to deal with because it goes away. — tap to centre the map on it 95 percent of the software made in an age of abundance will be shitty, and shitty software is easy to deal with because it goes away. Last stated a month ago
23 Sept 2026
GT
Geoff Teehan — holds since 2026-09-23 — tap for who they are
Same subject: A coding agent left to run over a weekend returns work that is half good, a quarter garbage and a quarter in need of repair. — tap to centre the map on it A coding agent left to run over a weekend returns work that is half good, a quarter garbage and a quarter in need of repair. Last stated a year ago
18 Aug 2025
CB
Clay Bavor — holds since 2025-08-18 — tap for who they are
Same subject: A developer using AI coding tools remains responsible for reviewing the code they ship. — tap to centre the map on it A developer using AI coding tools remains responsible for reviewing the code they ship. Last stated 8 months ago
10 Mar 2026
JS
Jon Seager — holds since 2026-03-10 — tap for who they are
Same subject: A true artificial general intelligence cannot exist without being recognized as a moral subject. — tap to centre the map on it A true artificial general intelligence cannot exist without being recognized as a moral subject. Last stated a year ago
10 Jun 2025
SH
Samuel Hammond — holds since 2025-06-10 — tap for who they are
Same subject: A unit of measure needs defining, perhaps via a chain of increasingly hard problems, each pair of which a single model can solve. — tap to centre the map on it A unit of measure needs defining, perhaps via a chain of increasingly hard problems, each pair of which a single model can solve. Last stated a month ago
15 Sept 2026
PG
Paul Graham — holds since 2026-09-15 — tap for who they are
Same subject: AGI research made no progress in its first six decades. — tap to centre the map on it AGI research made no progress in its first six decades. Last stated 14 years ago
3 Oct 2012
DD
David Deutsch — holds since 2012-10-03 — tap for who they are
At the centre
AI systems are much better at tasks whose correctness can be verified than at tasks whose correctness cannot be checked.
Holds Read this korrent →
With AI, verification has become the bottleneck in producing work, whereas before it happened incidentally during creation.
Holds
AI systems are better than humans at coordinating with each other, and they move much faster than humans do.
Holds
As AI systems get better at scientific research tasks, it becomes more likely they will soon be capable of improving and building themselves.
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
AI makes it easier for more people to breach systems.
Holds
AI is not yet capable of autonomously handling all real-world tasks.
Holds
A verifiable task can be optimised by reinforcement learning until a neural network performs it extremely well.
Holds
AI excels at certain tasks but cannot substitute for human thinking.
Holds
A country outside the AI supply chain should just buy the index — which works only in the world where AI ends up commoditised rather than concentrated.
Holds
A human being is not an AGI: we lack a huge amount of knowledge and rely on continual learning instead, so continual learning is what superintelligence should mean.
Holds
A language model is no substitute for a well-specified conventional algorithm, so it cannot simply be dropped into a complex problem and trusted.
Holds
95 percent of the software made in an age of abundance will be shitty, and shitty software is easy to deal with because it goes away.
Holds
A coding agent left to run over a weekend returns work that is half good, a quarter garbage and a quarter in need of repair.
Holds
A developer using AI coding tools remains responsible for reviewing the code they ship.
Holds
A true artificial general intelligence cannot exist without being recognized as a moral subject.
Holds
A unit of measure needs defining, perhaps via a chain of increasingly hard problems, each pair of which a single model can solve.
Holds
AGI research made no progress in its first six decades.
Holds