Tap a claim on the ring to put it at the centre.
← If AI builds more and more of a system, it needs to verify as well as generate, including checking its own code.
17 connected korrents · 16 moments from 18 Mar 2024 to 27 Sept 2026.
Everything filed under AI writing
AI writing
Everything filed under OpenAI
OpenAI
Everything filed under scaling laws
scaling laws
Everything filed under code generation
code generation
Everything filed under design
design
Everything filed under LLMs
LLMs
Everything filed under AI and jobs
AI and jobs 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: If AI builds more and more of a system, it needs to verify as well as generate, including checking its own code. If AI builds more and more of a system, it needs to verify as well as generate, including checking its own code. Last stated 2 years ago
6 Oct 2024
MT
Michael Truell — holds since 2024-10-06 — 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: Existing AI models are already more than good enough, doing more for writing code than the author can make use of. — tap to centre the map on it Existing AI models are already more than good enough, doing more for writing code than the author can make use of. Last stated a month ago
8 Sept 2026
GO
Gergely Orosz — holds since 2026-09-08 — tap for who they are
Same subject: AI systems require human oversight rather than full autonomy in analysis and workflows. — tap to centre the map on it AI systems require human oversight rather than full autonomy in analysis and workflows. Last stated a year ago
5 Sept 2025
JE
Jason Evanish — holds since 2025-09-05 — 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: AI does a good job of generating a design and still cannot express what the design is supposed to do; that part is the engineer's. — tap to centre the map on it AI does a good job of generating a design and still cannot express what the design is supposed to do; that part is the engineer's. Last stated 2 months ago
29 Jul 2026
HW
Hillel Wayne — holds since 2026-07-29 — tap for who they are
Same subject: AI has moved the programmer's bottleneck from writing code to having good design ideas, and there is no verification loop for a design idea. — tap to centre the map on it AI has moved the programmer's bottleneck from writing code to having good design ideas, and there is no verification loop for a design idea. Last stated 6 months ago
7 Apr 2026
MN
Michael Nielsen — holds since 2026-04-07 — tap for who they are
Same subject: AI writes code well only where a million repositories have already written it; getting it to do something genuinely new remains notoriously hard. — tap to centre the map on it AI writes code well only where a million repositories have already written it; getting it to do something genuinely new remains notoriously hard. Last stated a year ago
30 Apr 2025
TS
Tim Sweeney — holds since 2025-04-30 — tap for who they are
Same subject: Verifying a simplified model rather than the real system is worth doing even though the real system will still have bugs, because the bugs you designed in never get built. — tap to centre the map on it Verifying a simplified model rather than the real system is worth doing even though the real system will still have bugs, because the bugs you designed in never get built. Last stated 2 months ago
29 Jul 2026
HW
Hillel Wayne — holds since 2026-07-29 — tap for who they are
Same subject: A CEO who sends out an AI-written strategy memo is modelling that it is fine to outsource thinking and strategy. — tap to centre the map on it A CEO who sends out an AI-written strategy memo is modelling that it is fine to outsource thinking and strategy. Last stated 2 weeks ago
27 Sept 2026
MG
Molly Graham — holds since 2026-09-27 — 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 can now produce in minutes work that used to take weeks to build. — tap to centre the map on it AI can now produce in minutes work that used to take weeks to build. Last stated 5 months ago
26 May 2026
CB
Carlos Alexandro Becker — holds since 2026-05-26 — tap for who they are
Same subject: A startup should not begin life as a nonprofit and bolt a for-profit arm on later, whatever OpenAI's own history suggests. — tap to centre the map on it A startup should not begin life as a nonprofit and bolt a for-profit arm on later, whatever OpenAI's own history suggests. Last stated 3 years ago
18 Mar 2024
SA
Sam Altman — holds since 2024-03-18 — tap for who they are
Same subject: Advertising was a necessary phase for the internet but a momentary industry, and an AI people pay for is better because they know the answers are not influenced by advertisers. — tap to centre the map on it Advertising was a necessary phase for the internet but a momentary industry, and an AI people pay for is better because they know the answers are not influenced by advertisers. Last stated 3 years ago
18 Mar 2024
SA
Sam Altman — holds since 2024-03-18 — tap for who they are
Same subject: Agents are going to be incorporated into mainstream interfaces — tap to centre the map on it Agents are going to be incorporated into mainstream interfaces Last stated 7 months ago
25 Mar 2026
DH
David Heinemeier Hansson — holds since 2026-03-25 — tap for who they are
Same subject: "Scaling" was powerful because it was one word: naming a research direction is what tells a whole field what to do next. — tap to centre the map on it "Scaling" was powerful because it was one word: naming a research direction is what tells a whole field what to do next. Last stated 11 months ago
25 Nov 2025
IS
Ilya Sutskever — holds since 2025-11-25 — tap for who they are
Same subject: A benchmark result should be reported under a stated budget, or as a curve against test-time compute — never as a single number. — tap to centre the map on it A benchmark result should be reported under a stated budget, or as a curve against test-time compute — never as a single number. Last stated 4 months ago
26 Jun 2026
NB
Noam Brown — holds since 2026-06-26 — 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 7 months ago
13 Mar 2026
DP
Dylan Patel — holds since 2026-03-13 — tap for who they are