Tap a claim on the ring to put it at the centre.
← AI has driven the cost of generating scientific ideas to almost zero,…
17 connected korrents · 17 moments on record from 1 May 2023 to 31 Aug 2026.
Everything filed under LLMs
LLMs
Everything filed under Google
Google
Everything filed under formal proof
formal proof 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 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. 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: If AI can build the new theory that crystallises how to think about a subject, it would be surprising if that capability did not spill into the rest of the economy. — tap to centre the map on it If AI can build the new theory that crystallises how to think about a subject, it would be surprising if that capability did not spill into the rest of the economy. Last stated 2 months ago
30 Jun 2026
GS
Grant Sanderson — holds since 2026-06-30 — tap for who they are
Same subject: If nobody creates content any more because everyone just asks an AI, there is nothing left for AI to train on. — tap to centre the map on it If nobody creates content any more because everyone just asks an AI, there is nothing left for AI to train on. Last stated a month ago
8 Aug 2026
PL
Pieter Levels — holds since 2026-08-08 — tap for who they are
Same subject: An AI as good as a top researcher will not be priced like one, because it competes against the other labs rather than against humans. — tap to centre the map on it An AI as good as a top researcher will not be priced like one, because it competes against the other labs rather than against humans. Last stated a year ago
15 Aug 2025
CH
Casey Handmer — holds since 2025-08-15 — tap for who they are
Same subject: We should want more tools and fewer operated machines; the real AI game changers will have little to do with plain content generation. — tap to centre the map on it We should want more tools and fewer operated machines; the real AI game changers will have little to do with plain content generation. Last stated 3 years ago
by 1 May 2023
AW
Amelia Wattenberger — holds since 2023-05-01 — tap for who they are
Same subject: The absence of a visible productivity jump from AI proves nothing, because a real ten percent uplift across the board would be impressive and almost invisible from outside. — tap to centre the map on it The absence of a visible productivity jump from AI proves nothing, because a real ten percent uplift across the board would be impressive and almost invisible from outside. Last stated 2 weeks ago
26 Aug 2026
CM
Casey Muratori — holds since 2026-08-26 — tap for who they are
Same subject: AI models generate more commercially viable ideas than groups of humans, but those ideas are highly similar to each other. — tap to centre the map on it AI models generate more commercially viable ideas than groups of humans, but those ideas are highly similar to each other. Last stated a week ago
31 Aug 2026
EM
Ethan Mollick — holds since 2026-08-31 — tap for who they are
Same subject: The biggest gap in economics right now is that almost nobody is thinking about what AI does to middle-income developing countries. — tap to centre the map on it The biggest gap in economics right now is that almost nobody is thinking about what AI does to middle-income developing countries. Last stated 3 months ago
4 Jun 2026
AI
Alex Imas — holds since 2026-06-04 — tap for who they are
Same subject: AI's bottleneck was never its algorithms but how little data they were fed, which is why the field needed ImageNet rather than another model. — tap to centre the map on it AI's bottleneck was never its algorithms but how little data they were fed, which is why the field needed ImageNet rather than another model. Last stated 4 weeks ago
10 Aug 2026
FL
Fei-Fei Li — holds since 2026-08-10 — 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: A language model is not using language at all, because language requires an intention to communicate. — tap to centre the map on it A language model is not using language at all, because language requires an intention to communicate. Last stated 2 years ago
31 Aug 2024
TC
Ted Chiang — holds since 2024-08-31 — tap for who they are
Same subject: A language model's apparent mind is mostly our own bias: it predicts text, and leverages our evolved habit of attributing intentionality to anything that acts human. — tap to centre the map on it A language model's apparent mind is mostly our own bias: it predicts text, and leverages our evolved habit of attributing intentionality to anything that acts human. Last stated 2 years ago
22 Apr 2024
SC
Sean Carroll — holds since 2024-04-22 — 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
Same subject: A company's staff-engineer bar should be set against the best companies in the industry rather than against its own history, which is what makes title inflation a real cost. — tap to centre the map on it A company's staff-engineer bar should be set against the best companies in the industry rather than against its own history, which is what makes title inflation a real cost. Last stated 5 months ago
1 Apr 2026
TP
Thuan Pham — holds since 2026-04-01 — tap for who they are
Same subject: A crewed rocket cannot be made safe by making the booster reliable, so the only real way to improve safety is to carry an escape system. — tap to centre the map on it A crewed rocket cannot be made safe by making the booster reliable, so the only real way to improve safety is to carry an escape system. Last stated 3 years ago
14 Dec 2023
JB
Jeff Bezos — holds since 2023-12-14 — tap for who they are
Same subject: A monopolist that can no longer grow by winning new users can only grow by making its product worse for the users it already has. — tap to centre the map on it A monopolist that can no longer grow by winning new users can only grow by making its product worse for the users it already has. Last stated 3 years ago
28 Jul 2023
CD
Cory Doctorow — holds since 2023-07-28 — tap for who they are
At the centre
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 TaoRead this korrent →
If AI can build the new theory that crystallises how to think about a subject, it would be surprising if that capability did not spill into the rest of the economy.
Holds GS Grant Sanderson
If nobody creates content any more because everyone just asks an AI, there is nothing left for AI to train on.
Holds
An AI as good as a top researcher will not be priced like one, because it competes against the other labs rather than against humans.
Holds CH Casey Handmer
We should want more tools and fewer operated machines; the real AI game changers will have little to do with plain content generation.
Holds AW Amelia Wattenberger
The absence of a visible productivity jump from AI proves nothing, because a real ten percent uplift across the board would be impressive and almost invisible from outside.
Holds CM Casey Muratori
AI models generate more commercially viable ideas than groups of humans, but those ideas are highly similar to each other.
Holds EM Ethan Mollick
The biggest gap in economics right now is that almost nobody is thinking about what AI does to middle-income developing countries.
Holds AI Alex Imas
AI's bottleneck was never its algorithms but how little data they were fed, which is why the field needed ImageNet rather than another model.
Holds FL Fei-Fei Li
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 GM Gary Marcus
A language model is not using language at all, because language requires an intention to communicate.
Holds TC Ted Chiang
A language model's apparent mind is mostly our own bias: it predicts text, and leverages our evolved habit of attributing intentionality to anything that acts human.
Holds SC Sean Carroll
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
A company's staff-engineer bar should be set against the best companies in the industry rather than against its own history, which is what makes title inflation a real cost.
Holds TP Thuan Pham
A crewed rocket cannot be made safe by making the booster reliable, so the only real way to improve safety is to carry an escape system.
Holds JB Jeff Bezos
A monopolist that can no longer grow by winning new users can only grow by making its product worse for the users it already has.
Holds CD Cory Doctorow