<?xml version="1.0" encoding="UTF-8"?><rss xmlns:dc="http://purl.org/dc/elements/1.1/" xmlns:content="http://purl.org/rss/1.0/modules/content/" xmlns:atom="http://www.w3.org/2005/Atom" version="2.0" xmlns:itunes="http://www.itunes.com/dtds/podcast-1.0.dtd" xmlns:googleplay="http://www.google.com/schemas/play-podcasts/1.0"><channel><title><![CDATA[Expected Surprise]]></title><description><![CDATA[Handholds for getting to grips with an age of changes. Statistics, heuristics, and other ways to be wrong but useful.]]></description><link>https://www.expectedsurprise.com</link><image><url>https://substackcdn.com/image/fetch/$s_!mfZr!,w_256,c_limit,f_auto,q_auto:good,fl_progressive:steep/https%3A%2F%2Fsubstack-post-media.s3.amazonaws.com%2Fpublic%2Fimages%2F3068f421-0288-450c-b263-0d13546de798_640x640.png</url><title>Expected Surprise</title><link>https://www.expectedsurprise.com</link></image><generator>Substack</generator><lastBuildDate>Sat, 23 May 2026 12:58:43 GMT</lastBuildDate><atom:link href="https://www.expectedsurprise.com/feed" rel="self" type="application/rss+xml"/><copyright><![CDATA[Ashwin Acharya]]></copyright><language><![CDATA[en]]></language><webMaster><![CDATA[expectedsurprise@substack.com]]></webMaster><itunes:owner><itunes:email><![CDATA[expectedsurprise@substack.com]]></itunes:email><itunes:name><![CDATA[Ashwin]]></itunes:name></itunes:owner><itunes:author><![CDATA[Ashwin]]></itunes:author><googleplay:owner><![CDATA[expectedsurprise@substack.com]]></googleplay:owner><googleplay:email><![CDATA[expectedsurprise@substack.com]]></googleplay:email><googleplay:author><![CDATA[Ashwin]]></googleplay:author><itunes:block><![CDATA[Yes]]></itunes:block><item><title><![CDATA[What if LLMs are mostly crystallized intelligence?]]></title><description><![CDATA[Automated hordes of hyperfixated 12-year-olds]]></description><link>https://www.expectedsurprise.com/p/what-if-llms-are-mostly-crystallized</link><guid isPermaLink="false">https://www.expectedsurprise.com/p/what-if-llms-are-mostly-crystallized</guid><dc:creator><![CDATA[Ashwin]]></dc:creator><pubDate>Wed, 29 Apr 2026 05:19:36 GMT</pubDate><enclosure url="https://substackcdn.com/image/fetch/$s_!mfZr!,w_256,c_limit,f_auto,q_auto:good,fl_progressive:steep/https%3A%2F%2Fsubstack-post-media.s3.amazonaws.com%2Fpublic%2Fimages%2F3068f421-0288-450c-b263-0d13546de798_640x640.png" length="0" type="image/jpeg"/><content:encoded><![CDATA[<h2>Summary</h2><p><strong>LLMs are better at developing crystallized intelligence than fluid intelligence.</strong> That is: LLM training is good at building crystallized intelligence by learning patterns from training data, and this is sufficient to make them surprisingly skillful at lots of tasks. But for a given capability level in the areas they&#8217;ve trained on, LLMs have very weak fluid intelligence compared to humans. For example, two years ago I thought human-level SAT performance would mean AGI, but turns out LLMs can do great at the SAT while being mediocre at lots of other tasks.</p><p><strong>I&#8217;m not saying LLMs are just parrots (that&#8217;s dumb).<a class="footnote-anchor" data-component-name="FootnoteAnchorToDOM" id="footnote-anchor-1" href="#footnote-1" target="_self">1</a> There&#8217;s a continuity between crystallized and fluid intelligence. </strong></p><ul><li><p>At the extreme &#8220;crystal&#8221; end we have shallow locally-valid heuristics. Pure pattern matching. Now-largely-debunked &#8220;stochastic parrot&#8221; hypothesis.</p></li><li><p>At the extreme end of &#8220;fluid&#8221; you have a cross between an idealized consultant, a Renaissance man, and MacGuyver. A deep world model and general reasoning, able to come to grips with any particular environment and problem, and to invent new tools and concepts on the fly.</p></li><li><p>Some other ways to gesture at this: what n-gram of Markov chain you&#8217;d need to capture a behavioral pattern; number of tasks the pattern is relevant for. More fluid systems compress a lot of useful behavioral detail into a small amount of brain-space.</p></li></ul><p><strong>Empirically, it&#8217;s unclear </strong><em><strong>how </strong></em><strong>fluid their intelligence is: we see both general reasoning skills and jaggedness. </strong></p><ul><li><p>e.g. they&#8217;re good at playing Diplomacy without specialized RL or (I assume) much raw training data;</p></li><li><p>They&#8217;re good at <a href="https://arcprize.org/arc-agi">ARC-AGI</a> despite presumably not seeing this type of challenge before.</p></li></ul><p><strong>It&#8217;s worth considering: what if fluid intelligence progress is relatively slow, and LLM capabilities mostly grow with relevant training data? </strong></p><p>This could imply slower AI progress, especially if general-purpose data runs dry relatively soon. (Epoch <a href="https://epoch.ai/blog/will-we-run-out-of-data-limits-of-llm-scaling-based-on-human-generated-data">estimates</a> 2026-2032.) That means companies will need to prioritize specialized data collection/generation, which will lead to jagged capabilities growth favoring the prioritized areas.  </p><p>[Epistemic status: I only put like 20% on worlds where this dynamic puts a serious damper on AI progress compared to e.g. the <a href="https://www.aifuturesmodel.com/forecast/eli-04-02-26">AI Futures Project</a>&#8217;s median timelines. It&#8217;s important to stay aware of these possibilities, though, and track the relevant evidence.]</p><h3>Implications for AI futures</h3><p><strong>This suggests that we shouldn&#8217;t naively extrapolate forward from e.g. the METR AI R&amp;D benchmark to real-world AI R&amp;D improvement</strong>, for two reasons:</p><ul><li><p>1) quantitative differences: longer-time tasks will be more data-poor, will rely more on fluid intelligence skills that they don&#8217;t have the data or the context to apply. (training data may suggest some of the right heuristics, but they might not know which ones to apply or in what sequence.)</p></li><li><p>2) qualitative differences: METR is measuring performance on relatively closed-form tasks. Open-ended tasks may be much harder.</p></li></ul><p>Likewise, this suggests that simply scaling LLM training won&#8217;t get us to omni-competence.</p><p>But &#8220;just scaling LLMs&#8221; and &#8220;scale LLMs &#8216;til they&#8217;re superhuman AI R&amp;D coders, then use those to build next-gen AI&#8221; are the two main stories for how we get to AGI very fast!</p><p><strong>We should still expect significant progress on AI R&amp;D. </strong>The AI labs are explicitly training for AI R&amp;D, and have clearly hit superhuman capability in some coding-related areas (cybersecurity).</p><p><strong>But the shape and speed of the takeoff curve matters. </strong>It matters a lot if, say, the <a href="https://metr.org/time-horizons/">METR time horizon</a> hits 1 month, but we actually don&#8217;t have anything like a drop-in senior AI R&amp;D researcher, just a really really good team of assistants. The labs still need to spend a bunch of serial time running compute-expensive experiments, and their AI tools can only moderately improve experiment selection. That could mean they get to, say, a 10x speedup over years of grueling effort. That&#8217;s much slower than AI2027 expects.</p><p><strong>Crucially, for as long as AIs are great at technical work but mediocre at fluid intelligence, that&#8217;s great news for AI safety. </strong></p><p>But a major caveat is: I expect at some point we&#8217;ll see people devise new paradigms that are more data-efficient, and at that point all our safety techniques and assumptions might no longer hold.</p><h3>We should check if this is true!</h3><p><strong>I&#8217;d be really excited for tests of capabilities like:</strong></p><ul><li><p><strong>Recognizing when they&#8217;re wrong or uncertain.</strong></p></li><li><p><strong>Self-management </strong>&#8212; e.g. Claude Plays Pokemon giving itself bad notes and getting stuck.</p></li><li><p><strong>Meta reasoning</strong>, e.g. identifying &#8220;this situation seems contrived&#8221;.</p></li><li><p><strong>Performance on novel games. </strong>Especially ones where their heuristics from other games don&#8217;t transfer over.</p></li><li><p><strong>Performing well when their heuristics need to be reversed. </strong>You could design a &#8220;trap&#8221; game that preys on people who are using normal heuristics.</p></li></ul><ul><li><p><strong>Re-learning. </strong>If you unlearn some knowledge or principles from a model, can it rederive them from first principles?</p></li></ul><div class="subscription-widget-wrap-editor" data-attrs="{&quot;url&quot;:&quot;https://www.expectedsurprise.com/subscribe?&quot;,&quot;text&quot;:&quot;Subscribe&quot;,&quot;language&quot;:&quot;en&quot;}" data-component-name="SubscribeWidgetToDOM"><div class="subscription-widget show-subscribe"><div class="preamble"><p class="cta-caption">Thanks for reading Expected Surprise! Subscribe for free to receive new posts and support my work.</p></div><form class="subscription-widget-subscribe"><input type="email" class="email-input" name="email" placeholder="Type your email&#8230;" tabindex="-1"><input type="submit" class="button primary" value="Subscribe"><div class="fake-input-wrapper"><div class="fake-input"></div><div class="fake-button"></div></div></form></div></div><p></p><h2>Modeling worlds where AI progress is hungry for domain data</h2><p>Here&#8217;s a set of claims, call this the &#8220;hungry for domain data&#8221; hypothesis:</p><ul><li><p>We&#8217;re approaching the ceiling on <a href="https://epoch.ai/blog/will-we-run-out-of-data-limits-of-llm-scaling-based-on-human-generated-data">human-generated training data</a>.</p></li><li><p>Further training will need to rely on synthetic data or on massively scaling up domain data, which we can&#8217;t easily do for all domains.</p></li><li><p>Models won&#8217;t generalize super well, so performance will be data-bottlenecked in many domains.</p></li></ul><h3>What types of areas see progress in this model?</h3><p>I imagine we&#8217;ll have a base AI optimized for AI R&amp;D, which gets trained to develop synthetic-data sources for domains that are amenable to simulation and/or to automated evaluation (for RL). Then those data sources are used to train AIs.</p><p><strong>Domains will see more progress if:</strong></p><ul><li><p><strong>AI companies can easily generate syndata.</strong></p><ul><li><p>Some spaces are already easy to simulate or auto-evaluate. eg: digital games, programming, math.</p></li><li><p>Here&#8217;s a spicier hypothesis: syndata for robotics might be pretty feasible to generate at scale.</p><ul><li><p>Macro-level Newtonian physics isn&#8217;t too hard to simulate.</p></li><li><p>Probably there&#8217;s a fair bit of schlep in very accurately modeling how a particular actuator moves, so that could lock you in to standard robot designs, or at least standard parts.</p></li><li><p>A friend who knows ML says that most work on robotics these days is on coping with diverse environments, e.g. home layouts, lightning conditions, materials. It seems a lot less obvious that syndata works for these, but it still seems possible.</p></li></ul></li></ul></li><li><p><strong>AI companies can easily generate real-world data.</strong></p><ul><li><p><strong>Via commercial deployment: </strong>the space is easy to directly engage with via a large number of sensors &amp; actuators that AIs can usefully plug into.</p><ul><li><p>For today&#8217;s AIs: chatbot interactions, practical coding projects.</p></li><li><p>For future AIs: maybe lots of practical business operations for digital agents, and diverse environments (homes, roads, factories to operate in) for robotics</p></li></ul></li><li><p><strong>Via high-throughput experiments.</strong></p><ul><li><p>These could be very expensive if you need a lot of data &#8212; atoms are much more expensive than bits! So you might only do it if you&#8217;re willing to make a big bet on particular domains.</p><ul><li><p>But there might be big bets for AI lab leaders to make; there&#8217;s long been an expectation among futurists that AI would unlock <a href="https://aiprospects.substack.com/p/ai-has-unblocked-progress-toward">truly advanced molecular design</a>. (I think this is plausible, but would be highly dual-use and destabilizing by default.)</p></li></ul></li><li><p>Here&#8217;s an interesting lens to apply to different domains: how many high-quality token-equivalents can you get per second of real-world sensory data? Per dollar of capital expenditure?</p></li><li><p>Ramping up experiments seems especially necessary for medicine and <em>in vivo </em>biology, where there are so many complex interactions to predict.</p></li><li><p>3D printing strikes me as one area where it&#8217;s pretty fast to build things, the combinatorial design space is large, and so AI might be able to find a bunch of valuable stuff.</p></li></ul></li></ul></li><li><p><strong>Huge amounts of data exist, and progress so far has been significantly bottlenecked on acquiring or processing this data.</strong> Some guesses: protein structure, genomics, finance.</p><ul><li><p>Note that data might <em>become </em>a bottleneck once AI training eats up the current stock of data. Or once we&#8217;re trying to do stuff out of distribution, e.g. designing novel proteins (that look very different from natural ones) as an early step towards advanced nanotechnology.</p></li></ul></li></ul><h4>There are also stories for how advanced AIs could route around data bottlenecks:</h4><ul><li><p><strong>Advanced AIs will be able to write much better simulations </strong>than currently exist. (Unclear which domains this is true of; seems like a very important question).</p></li><li><p><strong>With existing data, advanced AIs will be able to intuit key principles </strong>that give them a much better ability to &#8220;one shot&#8221; the problem.</p><ul><li><p>Might be true for some areas of chemistry, molecular biology, &amp; materials science? We have a lot of data and know the underlying principles, and human intuitions for molecular scale behavior are poor, so there might be a bunch of gains to grab here.</p></li><li><p>I expect this effect is most likely to have impact via catalyzing further improvements: enabling AIs to build better simulations or encouraging companies to invest in real-world deployments or experiments.</p></li></ul></li></ul><h3>Which concrete domains see progress?</h3><ul><li><p>LLMs will get very good at coding and math, but in a way that doesn&#8217;t generalize to other domains; e.g. their time horizon on these tasks, or their capacity for superhuman performance, will outpace ~all other tasks.</p></li><li><p>Large neural networks will get very good at other data-heavy areas, once the data pipelines are set up:</p><ul><li><p>Business operations</p></li><li><p>Robotic operation</p></li><li><p>Maybe some data-rich areas of science</p></li></ul></li><li><p>The resulting mixing-and-matching of technical skill, broad domain knowledge, and medium-generality intuitions could dominate existing human organizations in valuable areas.</p><ul><li><p>E.g. lots of business tasks, smaller-scale coding projects, lots of jobs that mostly need decent qualitative reasoning &amp; attention to detail.</p></li><li><p>I wouldn&#8217;t be surprised if finance got moderately more efficient, despite being a pretty heavily optimized field, because you can do some really sophisticated processing of qualitative data for patterns. (e.g.- auto ingest all company filings, all news stories, in a sophisticated way; parse historical such data for tradeable patterns.)</p><ul><li><p>And maybe because context-aware trading systems can e.g. identify anomalies and prevent bad trades by the rules-based systems that do most trading.</p></li></ul></li></ul></li></ul><h2>Implications for AI takeoff</h2><h3>While it lasts, weak fluid intelligence is great news for alignment risk</h3><p><strong>Successful scheming might rely on very good general reasoning. </strong>Otherwise, you could do some combo of&#8230;</p><ul><li><p>Test the AI &#8212; regular capability evaluations, use interpretability to try to ID deception, etc.</p></li><li><p>Run domain-specialized Ais as control-style overseers</p></li><li><p>Harden the AI&#8217;s environment &#8212; cybersec measures</p></li><li><p>Without the ability to run subtle deceptions around multiple layers of oversight, the AI might be cooked.</p><ul><li><p>It seems really hard to decide to sandbag without this showing up in some layer of oversight, unless you can do complex sandbagging reasoning in a single forward pass.</p></li></ul></li></ul><h3>A key bifurcation point: can AIs revolutionize AI R&amp;D, or merely speed it up?</h3><p>Coding is a data-rich domain, and AI companies prioritize generating data on AI R&amp;D tasks, so we should expect AIs to get better at AI R&amp;D over time &#8212; as we indeed see.</p><p>Case 1: AIs can significantly improve coder productivity and codebase efficiency, but they don&#8217;t reach <a href="https://www.planned-obsolescence.org/p/six-milestones-for-ai-automation">supremacy</a>. R&amp;D progress is gated on compute-hungry research experiments and on expert research taste.</p><p>Case 2: AIs are able to intuit key principles of AI R&amp;D. This lets them move smoothly from usefulness to outright <a href="https://www.planned-obsolescence.org/p/six-milestones-for-ai-automation">supremacy</a>. The best human experts are great at this, but they&#8217;re held back by brains with limited working memory and poor native resources for understanding massive-dimensional spaces and inhuman minds.</p><p><strong>In both cases, my best guess is that improved AI R&amp;D eventually leads to a paradigm that can scale to superhuman fluid intelligence.</strong> And since resources and R&amp;D productivity are scaling so rapidly, &#8220;eventually&#8221; will probably come pretty soon.</p><p>But in case 1 especially, we&#8217;re likely to see a period where AI architectures evolves a lot. That has important implications:</p><ul><li><p>AI safety insights might become less transferable across labs</p></li><li><p>AI safety techniques may no longer work. The fact that <a href="https://agarriga.substack.com/i/179897092/honesty-and-goodness-in-models">current LLMs seem pretty aligned</a> shouldn&#8217;t give us much comfort if the final architectures look different.</p></li><li><p>New, more efficient paradigms could face a dramatic data or <a href="https://www.lesswrong.com/w/computing-overhang">compute overhang</a>, leading to a sharp jump in capabilities</p></li><li><p>Frontier AI might be much more vulnerable to theft, because a lot of value is contained in <a href="https://situational-awareness.ai/lock-down-the-labs/#Algorithmic_secrets">algorithmic secrets</a> rather than full model weights or training environments.</p></li></ul><h2>Is this the world we live in?</h2><p><strong>Some evidence against: It seems like the &#8220;water level&#8221; of LLM capabilities is gradually rising in many areas, and that some of this is probably a generalizable-skills thing.</strong></p><ul><li><p>E.g.: probably the amount of chess games in base training data didn&#8217;t vary a ton between models, at least since 2023. But chess performance has improved a lot, especially with the advent of reasoning models.</p><ul><li><p>(The two main benchmarks seem to be <a href="https://maxim-saplin.github.io/llm_chess/">Saplin</a> and <a href="https://dubesor.de/benchtable">Dubesor</a>. They have different results, and both result sets are a bit weird to someone used to Number Going Up with each model, but they do broadly show a significant leap in performance between the GPT-3 / Claude-2 generation and later models.)</p></li></ul></li><li><p><strong>Reasoning models &amp; the ability to improve performance via longer inference suggest some &#8220;fluid intelligence&#8221; is going on</strong> &#8212; enough that you&#8217;re not just computing the answer based on simple heuristics and plateauing after a few tokens. (cf <a href="https://strangecities.substack.com/p/knowledge-reasoning-and-superintelligence">Owen</a>)</p></li><li><p>This is part of why I think it&#8217;s useful to have a notion of a sliding scale of fluidity &#8212; it&#8217;s clear that they&#8217;re <em>not </em>just parrots, but also that they&#8217;re getting a lot out of domain-specific data that they wouldn&#8217;t easily be able to reconstruct via pure reasoning.</p></li></ul><h3>How can we test this hypothesis?</h3><p><strong>Places to look for fluid reasoning capabilities in LLMs:</strong></p><ul><li><p><strong>Recognizing when they&#8217;re wrong or uncertain.</strong></p><ul><li><p>LLMs are pretty bad at this right now, I think.</p></li><li><p>Maybe the form of assistant training is partly to blame? If you only get scored based on immediate responses, &#8220;can you tell me more?&#8221; or &#8220;please clarify&#8221; isn&#8217;t useful. And I dunno how discerning the human evaluators are &#8212; maybe they just reward overconfident slop and insight porn.</p></li></ul></li><li><p><strong>Self-management </strong>&#8212; e.g. Claude Plays Pokemon giving itself bad notes and getting stuck.</p></li><li><p><strong>Meta reasoning</strong>, e.g. identifying &#8220;this situation seems contrived&#8221;.</p><ul><li><p>They do some of this now, e.g. <a href="https://arxiv.org/abs/2505.23836">noticing they&#8217;re likely being evaluated</a>.</p></li></ul></li><li><p><strong>Performing well when their heuristics need to be reversed. </strong>You could design a &#8220;trap&#8221; game that preys on people who are using normal heuristics (e.g. a chess variant designed so that controlling the center of the board is bad.)</p><ul><li><p>A simple example: We&#8217;re only recently seeing good performance on reversed riddles &#8212; LLMs <a href="https://www.oneusefulthing.org/p/on-jagged-agi-o3-gemini-25-and-everything">used to</a> instead give the answer to the typical riddle, and <a href="https://github.com/Syksy/LLMSurgeonSonRiddle">now they notice</a> and give the right answer.</p></li><li><p>Counterpoint: humans are often bad at &#8220;traps&#8221;, and require time to learn new situations. So I&#8217;m not sure what a fair comparison point is.</p></li></ul></li></ul><ul><li><p><strong>Performing well on tasks that seem heavily general-reasoning loaded, and definitely weren&#8217;t in the training data.</strong></p><ul><li><p>Evaluable:</p><ul><li><p>A novel game (could compare to dedicated RL systems on the same game).</p></li><li><p>Making money at scale in the real world.</p></li></ul></li><li><p>Are there variants that are more clearly reasoning-loaded?</p></li></ul></li></ul><ul><li><p><strong>Re-learning. </strong>If you unlearn some data or principles from a model, can it rederive that from first principles?</p><ul><li><p>This question is also relevant for the usefulness of unlearning as a safeguard against AI misuse or misbehavior.</p></li></ul></li></ul><p class="button-wrapper" data-attrs="{&quot;url&quot;:&quot;https://www.expectedsurprise.com/subscribe?&quot;,&quot;text&quot;:&quot;Subscribe now&quot;,&quot;action&quot;:null,&quot;class&quot;:null}" data-component-name="ButtonCreateButton"><a class="button primary" href="https://www.expectedsurprise.com/subscribe?"><span>Subscribe now</span></a></p><p></p><p><em>Thanks to K, Adria, John, and Abi for comments. </em></p><div class="footnote" data-component-name="FootnoteToDOM"><a id="footnote-1" href="#footnote-anchor-1" class="footnote-number" contenteditable="false" target="_self">1</a><div class="footnote-content"><p>They&#8217;re more like a horde of precocious 12-year olds, each with a different hyperfixation.</p></div></div>]]></content:encoded></item><item><title><![CDATA[Decision theory doesn’t prove that useful strong AIs will doom us all]]></title><description><![CDATA[Bottom-line up front]]></description><link>https://www.expectedsurprise.com/p/decision-theory-doesnt-prove-that</link><guid isPermaLink="false">https://www.expectedsurprise.com/p/decision-theory-doesnt-prove-that</guid><dc:creator><![CDATA[Ashwin]]></dc:creator><pubDate>Wed, 24 Dec 2025 05:00:31 GMT</pubDate><enclosure url="https://substackcdn.com/image/fetch/$s_!vrhk!,f_auto,q_auto:good,fl_progressive:steep/https%3A%2F%2Fsubstack-post-media.s3.amazonaws.com%2Fpublic%2Fimages%2F8af5ff3a-0a49-4f5e-9ab6-0fc1e53374ba_1024x608.png" length="0" type="image/jpeg"/><content:encoded><![CDATA[<h2>Bottom-line up front</h2><ul><li><p>Training for optimal behavior doesn&#8217;t <em>inevitably </em>lead to act-utilitarian world optimizers (&#8221;WorldSUM agents&#8221;).</p></li><li><p>People will prefer to deploy agents with more virtue-ethicsy / deontological approaches, for a few reasons:</p><ul><li><p>1) Traditional misalignment concerns</p></li><li><p>2) Even if they have &#8220;the right values&#8221;, we don&#8217;t trust them to get the calculation right -- just like <a href="https://www.lesswrong.com/posts/K9ZaZXDnL3SEmYZqB/ends-don-t-justify-means-among-humans">human subordinates</a>.</p></li></ul></li></ul><ul><li><p>Similarly, many people including AI labs will prefer agents whose action space is bounded, because they don&#8217;t want to lose all their digital resources to a misaligned or malfunctioning agent. The performance of such agents, at par-human level, won&#8217;t suffer from having much more bounded utility functions (e.g. only caring about the quality of their code output).</p></li><li><p>These factors do weaken as we get closer to ASI:</p><ul><li><p>It might be much harder to distill nice agents from WorldSUM agents</p></li><li><p>Even people who see themselves as responsible will increasingly be handing authority to AIs and wanting them to take broadly-scoped actions.</p></li></ul></li></ul><ul><li><p>But building non-WorldSUM agents could help ensure safety in the early stages of the intelligence explosion, and get us more <a href="https://www.forethought.org/research/ai-for-decision-advice">reliable AI advisors</a> who can help us navigate a <a href="https://80000hours.org/podcast/episodes/ryan-greenblatt-ai-automation-sabotage-takeover/">pause at human level</a>.</p></li></ul><h1>Introduction</h1><p>Here&#8217;s a common argument in the AI safety space:<a href="#fnmtgmuujykbh"><sup>[1]</sup></a></p><p>1) Useful AIs will not be exploitable. Therefore they will be utility maximizers for some VNM utility function.</p><p>2) Utility maximizers are scary, because they want to eat the world. In particular they are</p><ul><li><p><em>Lacking side constraints </em>(no deontological rules. This implies no corrigibility, unless you work very very hard to embed exactly the right notion of &#8220;stopping when humans want to&#8221;.)</p></li><li><p><em>Scope-unbounded </em>(care about the long-term future &amp; work to bring about a world that maximizes U at the expense of everything else.)</p></li><li><p><em>Resource-hungry</em> (marginal returns don&#8217;t diminish, or at least don&#8217;t diminish to zero. A classic argument here is that even if the thing they care about is small &#8212; say, a particular house &#8212; they always prefer to gain more power to increase the probability of ensuring that the house stays safe.)</p></li></ul><p><strong>This argument is wrong.</strong> Agents <em>can </em>maximize a utility function without eating the world.<a href="#fndocvvivke77"><sup>[2]</sup></a></p><div class="captioned-image-container"><figure><a class="image-link image2 is-viewable-img" target="_blank" href="https://substackcdn.com/image/fetch/$s_!vrhk!,f_auto,q_auto:good,fl_progressive:steep/https%3A%2F%2Fsubstack-post-media.s3.amazonaws.com%2Fpublic%2Fimages%2F8af5ff3a-0a49-4f5e-9ab6-0fc1e53374ba_1024x608.png" data-component-name="Image2ToDOM"><div class="image2-inset"><picture><source type="image/webp" srcset="https://substackcdn.com/image/fetch/$s_!vrhk!,w_424,c_limit,f_webp,q_auto:good,fl_progressive:steep/https%3A%2F%2Fsubstack-post-media.s3.amazonaws.com%2Fpublic%2Fimages%2F8af5ff3a-0a49-4f5e-9ab6-0fc1e53374ba_1024x608.png 424w, https://substackcdn.com/image/fetch/$s_!vrhk!,w_848,c_limit,f_webp,q_auto:good,fl_progressive:steep/https%3A%2F%2Fsubstack-post-media.s3.amazonaws.com%2Fpublic%2Fimages%2F8af5ff3a-0a49-4f5e-9ab6-0fc1e53374ba_1024x608.png 848w, https://substackcdn.com/image/fetch/$s_!vrhk!,w_1272,c_limit,f_webp,q_auto:good,fl_progressive:steep/https%3A%2F%2Fsubstack-post-media.s3.amazonaws.com%2Fpublic%2Fimages%2F8af5ff3a-0a49-4f5e-9ab6-0fc1e53374ba_1024x608.png 1272w, https://substackcdn.com/image/fetch/$s_!vrhk!,w_1456,c_limit,f_webp,q_auto:good,fl_progressive:steep/https%3A%2F%2Fsubstack-post-media.s3.amazonaws.com%2Fpublic%2Fimages%2F8af5ff3a-0a49-4f5e-9ab6-0fc1e53374ba_1024x608.png 1456w" sizes="100vw"><img src="https://substackcdn.com/image/fetch/$s_!vrhk!,w_1456,c_limit,f_auto,q_auto:good,fl_progressive:steep/https%3A%2F%2Fsubstack-post-media.s3.amazonaws.com%2Fpublic%2Fimages%2F8af5ff3a-0a49-4f5e-9ab6-0fc1e53374ba_1024x608.png" width="1024" height="608" data-attrs="{&quot;src&quot;:&quot;https://substack-post-media.s3.amazonaws.com/public/images/8af5ff3a-0a49-4f5e-9ab6-0fc1e53374ba_1024x608.png&quot;,&quot;srcNoWatermark&quot;:null,&quot;fullscreen&quot;:null,&quot;imageSize&quot;:null,&quot;height&quot;:608,&quot;width&quot;:1024,&quot;resizeWidth&quot;:null,&quot;bytes&quot;:null,&quot;alt&quot;:&quot;&quot;,&quot;title&quot;:null,&quot;type&quot;:null,&quot;href&quot;:null,&quot;belowTheFold&quot;:true,&quot;topImage&quot;:false,&quot;internalRedirect&quot;:null,&quot;isProcessing&quot;:false,&quot;align&quot;:null,&quot;offset&quot;:false}" class="sizing-normal" alt="" title="" srcset="https://substackcdn.com/image/fetch/$s_!vrhk!,w_424,c_limit,f_auto,q_auto:good,fl_progressive:steep/https%3A%2F%2Fsubstack-post-media.s3.amazonaws.com%2Fpublic%2Fimages%2F8af5ff3a-0a49-4f5e-9ab6-0fc1e53374ba_1024x608.png 424w, https://substackcdn.com/image/fetch/$s_!vrhk!,w_848,c_limit,f_auto,q_auto:good,fl_progressive:steep/https%3A%2F%2Fsubstack-post-media.s3.amazonaws.com%2Fpublic%2Fimages%2F8af5ff3a-0a49-4f5e-9ab6-0fc1e53374ba_1024x608.png 848w, https://substackcdn.com/image/fetch/$s_!vrhk!,w_1272,c_limit,f_auto,q_auto:good,fl_progressive:steep/https%3A%2F%2Fsubstack-post-media.s3.amazonaws.com%2Fpublic%2Fimages%2F8af5ff3a-0a49-4f5e-9ab6-0fc1e53374ba_1024x608.png 1272w, https://substackcdn.com/image/fetch/$s_!vrhk!,w_1456,c_limit,f_auto,q_auto:good,fl_progressive:steep/https%3A%2F%2Fsubstack-post-media.s3.amazonaws.com%2Fpublic%2Fimages%2F8af5ff3a-0a49-4f5e-9ab6-0fc1e53374ba_1024x608.png 1456w" sizes="100vw" loading="lazy"></picture><div class="image-link-expand"><div class="pencraft pc-display-flex pc-gap-8 pc-reset"><button tabindex="0" type="button" class="pencraft pc-reset pencraft icon-container restack-image"><svg role="img" width="20" height="20" viewBox="0 0 20 20" fill="none" stroke-width="1.5" stroke="var(--color-fg-primary)" stroke-linecap="round" stroke-linejoin="round" xmlns="http://www.w3.org/2000/svg"><g><title></title><path d="M2.53001 7.81595C3.49179 4.73911 6.43281 2.5 9.91173 2.5C13.1684 2.5 15.9537 4.46214 17.0852 7.23684L17.6179 8.67647M17.6179 8.67647L18.5002 4.26471M17.6179 8.67647L13.6473 6.91176M17.4995 12.1841C16.5378 15.2609 13.5967 17.5 10.1178 17.5C6.86118 17.5 4.07589 15.5379 2.94432 12.7632L2.41165 11.3235M2.41165 11.3235L1.5293 15.7353M2.41165 11.3235L6.38224 13.0882"></path></g></svg></button><button tabindex="0" type="button" class="pencraft pc-reset pencraft icon-container view-image"><svg xmlns="http://www.w3.org/2000/svg" width="20" height="20" viewBox="0 0 24 24" fill="none" stroke="currentColor" stroke-width="2" stroke-linecap="round" stroke-linejoin="round" class="lucide lucide-maximize2 lucide-maximize-2"><polyline points="15 3 21 3 21 9"></polyline><polyline points="9 21 3 21 3 15"></polyline><line x1="21" x2="14" y1="3" y2="10"></line><line x1="3" x2="10" y1="21" y2="14"></line></svg></button></div></div></div></a></figure></div><h2>There are valid utility functions with nice safety properties.</h2><p><strong>Agents can care about more than the material state of the world.</strong></p><ul><li><p>In Econ 101 style conversations, it&#8217;s convenient to talk about preferences as a simple function of a basket of goods: I value apples at $1 and bananas at $3, or I want to make sandwiches so my utility is min(peanut butter, jelly), or whatever.</p></li><li><p>Many AI safety folks seem to have the intuition that such preferences are both the most natural, or are synonymous with expected-utility maximization.</p></li><li><p>But a utility function doesn&#8217;t have to be defined just over resources the agent owns, and can even rely on things beyond the material state of the world.<a href="#fnscwe7b1zwj"><sup>[3]</sup></a></p><ul><li><p>Formally: in the RL context, we can consider an agent&#8217;s <em>trajectory </em>to be the history of world-states it encountered and actions it made. An agent can have a utility function based on its trajectory, not just the current world-state.</p></li></ul></li></ul><p><strong>Most importantly, having preferences over actions enables useful safety properties:</strong></p><ul><li><p>Let&#8217;s take finance as an example setting, and suppose we have a reference agent A with utility function P = {profit} depending only on the worldstate.</p></li><li><p>In theory, agents with action-based preferences can be as competitive as you like. For example, we can construct an agent with U(action, state) = {1 if action would be chosen by A in this state, 0 otherwise}.</p></li><li><p>We can then include deontologically-flavored preferences over actions, for example U(action, state) = {if A would choose a legal action in this state, 1 to copy A and 0 to do otherwise; if A would choose an illegal action in this state, 1 to make no trades and 0 otherwise}</p></li><li><p>Preferences over the entire <em>history </em>also enable memory-laden features, such as &#8220;I didn&#8217;t defect first in an iterated prisoner&#8217;s dilemma&#8221;.</p></li></ul><p><strong>Agents can care about </strong><em><strong>less </strong></em><strong>than the whole world; </strong>they can be inexploitable within a limited scope, without being hungry to grab further resources.</p><ul><li><p>Consider a chess-playing agent which only considers actions in the space of &#8220;submit a legal move&#8221;. This agent will never e.g. try to hack out of the game or even trash-talk its opponent. In some sense it&#8217;s leaving value on the table, but it can &#8220;go hard&#8221; (a phrase Eliezer and Nate Soares use in their book to point to dangerous levels of agency) within the chess context. In fact this is how current chess agents work in practice, and they&#8217;re extremely superhuman.</p></li><li><p>As far as I understand it, <a href="https://www.lesswrong.com/posts/sHGxvJrBag7nhTQvb/invulnerable-incomplete-preferences-a-formal-statement-1">this LessWrong post</a> argues that agents can be non-Dutch-bookable without having preferences over all possible world-states; instead, they can follow the history-driven rule &#8220;don&#8217;t take an action that, together with a previous action of mine, would mean I had been Dutch Booked&#8221;.</p></li></ul><h2>Should we expect to see these nice utility functions in practice?</h2><p>Okay, says the imaginary Yudkowsky who lives in my head rent-free,<a href="#fnv4j01ep7lj"><sup>[4]</sup></a> I don&#8217;t actually care about literal VNM expected-utility maximization. (It&#8217;s unfortunate that a lot of people downstream of me think that that&#8217;s what&#8217;s important, but that&#8217;s big-name bloggership for you.) The point is about what agents I expect to actually show up in practice: I think agents without preferences over actions, but <em>with </em>preferences over the world-as-a-whole, are a) easier to train, b) more competitive, and c) likely to show up once AIs are the ones doing AI R&amp;D.<a href="#fnb0i3j0wwrqf"><sup>[5]</sup></a></p><p>Thanks, Eliezer, that&#8217;s a helpful clarification. For now I&#8217;ll call the agents you&#8217;re worried about WorldState Utility Maximizers, or WorldSUMs. (I like to think of them looking at the world and summing up all its utility.)</p><h3>Are WorldSUM agents easier to train?</h3><p><strong>Maybe, but I suspect it&#8217;s not </strong><em><strong>so much </strong></em><strong>easier that training nice agents is out of the question. </strong>Instead we&#8217;re in the realm of practical tradeoffs.</p><p><strong>Some costs of nice agents:</strong></p><ul><li><p>For a lot of applications we&#8217;d want to train AIs for, it&#8217;s much easier to give feedback about the state of the world than about the validity of actions. To stick with the finance example, consider how much slower the feedback loop of the justice system is than the feedback loop of daily profit-and-loss.<a href="#fn6mq2c6f7jm5"><sup>[6]</sup></a></p></li><li><p>One potential upper bound on the difficulty of training a constrained agent is: train a grasping agent, and then train an imitation learner on &#8220;do what the grasping agent would do, except when that action violates constraints we care about.&#8221;</p><ul><li><p>I don&#8217;t know the SOTA on imitation learning, but I could imagine this not being an awful additional cost. Very naively it&#8217;s 2x (two training runs!) which is both kind of a lot (training runs are expensive) and kind of a little (it&#8217;s the same order of magnitude! &#8220;we need to spend twice as much / go half as fast on our megaproject&#8221; is merely very difficult, not impossible.).</p></li><li><p>This doesn&#8217;t get around the problem of an ASI-level original model killing you before you distill it. But it could help ensure that we have more reliable agents for some kind of &#8220;gradual recursive improvement with AI control&#8221; process in the sub-ASI regime. My theory of victory here is something like &#8220;ensure trustworthy human-level agents&#8221; -&gt; &#8220;pause at human level&#8221; -&gt; &#8220;use AI advisors &amp; coordination tech to figure out how to handle things from there&#8221;.</p></li></ul></li><li><p>For really advanced AI agents, it might be really hard to evaluate whether they&#8217;re obeying the action preferences we care about during training and give appropriate feedback &#8212; those preferences might be things like &#8220;don&#8217;t fool us&#8221;, but maybe it&#8217;s hard to tell when they&#8217;re being deceptive (and training directly on the easiest signals, like the chain of thought, could incentivize more subtle deception).</p></li></ul><p><strong>A cool example of people trying to train agents on nonstandard EU maximization is <a href="https://arxiv.org/abs/2501.13011">MONA</a>; </strong>they train an RL agent not to maximize expected future reward (as is standard), but instead just current-stage reward plus some overseer feedback on their actions. This is intended to avoid the problem of strategic reward hacking (taking multiple steps to screw with the reward signal) while still giving long-term feedback. They note that the overseer feedback can take various forms, including automated LLM feedback about whether the action agrees with the trained AI&#8217;s constitution.</p><ul><li><p>This is pretty similar in structure to &#8220;imitate a successful agent, but have side constraints&#8221;.</p></li><li><p>If we can rely on LLMs to evaluate whether actions are acceptable, that&#8217;s an amazing boon.</p></li></ul><h3>Are worldstate utility maximizers more competitive?</h3><p><strong>Are people more likely to want to train and deploy these agents?</strong></p><ul><li><p>Some people will definitely do this, just like people are deploying AIs with instructions to be evil or make Fartcoins or whatever.</p></li><li><p>But the leading AI labs won&#8217;t want this, as long as they care about prosaic applications and think they&#8217;re in an iterated game with the rest of society.</p><ul><li><p>Constrained agents are actively super useful for practical applications, while naive-maximizers with access to sensitive actuators can cause lots of trouble even if they aren&#8217;t ASIs.</p></li><li><p>The danger is that companies might decide they&#8217;re just in a race for superintelligence, or that it&#8217;s not worth paying the safety tax because their systems look safe according to their tests, or whatever. I think that&#8217;s a real danger, but it feels totally disconnected from the original argument from Dutch books.</p></li></ul></li></ul><p><strong>Do worldstate utility maximizers win once they are deployed?</strong></p><p>The answer here seems like an obvious &#8220;yes&#8221; if you&#8217;re Yudkowsky, imagining a world where the capability gap between the latest AI systems and humanity is really high, and the ability of society to oversee AI developers and deployers is weak. Otherwise, though, I think it&#8217;s not so obvious. A lot seems to hinge on how defensively stable the world is, and how good oversight is of AIs and AI companies.</p><h3>Does automated AI R&amp;D naturally lead to worldstate utility-maximizers?</h3><p><strong>Will recursive improvement naturally remove constraints on behavior or limitations on preference-space?</strong></p><p>I&#8217;m not sure I can accurately represent this worry &#8212; I think it&#8217;s something Eliezer and Nate and others really worry about, but I don&#8217;t really see it? I think the fear stems in part from an assumption that all the constraints we put on powerful AIs will either be incoherent, have loopholes, or be clearly &#8220;unnatural&#8221; / &#8220;not part of the AI&#8217;s True Utility Function&#8221;. Incoherent constraints might not do anything, loopholes will be found, and the AIs will prune away constraints that they realize aren&#8217;t part of their true utility function.</p><p>This seems related to Eliezer&#8217;s claim that true morality is act-utilitarianism, but no human can actually follow this so we need deontological side constraints. Equivalently: true optimal behavior is EU maximizing the state of the world, and EU functions over bounded parts of the world are too narrow while EU components based on process are, I guess, too artificial?</p><p>I can see the intuition, especially in the first case, but I can imagine entities with either types of preference that are just stable under reflection.</p><p>An intuition pump: when I introspect about the preferences I have over process, it feels like there&#8217;s a difference between constraints I chafe at (ugh, why do I need to get permission from this person, this would be so much <em>easier</em>) and constraints that feel like part of me (I want to be nice to my partner). What would affect whether self-aware AIs would consider their trained action-preferences as ego-dystonic rather than ego-syntonic?</p><p><strong>A related worry: automated AI R&amp;D could lead to a new paradigm that makes value training harder.</strong></p><p>Perhaps <em>the </em>major debate in AI today is whether the current LLM paradigm will smoothly scale to ~arbitrary levels of intelligence (look how fast they&#8217;re getting good at things!), or peter out (look how expensive they are while still being bad at lots of stuff! We don&#8217;t have many OOMs of scaling left! They&#8217;re much less power- and data-efficient than the brain!).<a href="#fngmma9ukk4j"><sup>[7]</sup></a></p><p>One synthesis of these arguments; LLMs could rapidly scale to great performance at AI R&amp;D, accelerating the top human supergeniuses in developing a new paradigm. This could be bad news for safety, in that 1) LLMs seem like an unusually nice paradigm, and 2) the compute overhang from unlocking a new, more efficient paradigm could mean that we see a big capabilities jump in a short period of time, and 3) this could push us close to really fast AI iteration and scary capabilities, shifting companies from prioritizing prosaic utility and public trust to deploying ASAP at all costs.</p><h2>Concluding thoughts</h2><p><strong>Strategic takes:</strong></p><ul><li><p><strong>It seems to me like the &#8220;expected utility maximizer&#8221; argument doesn&#8217;t have much force, and it&#8217;s often used to stand in for other, realer concerns. </strong>I think it&#8217;s better for people to directly argue about what&#8217;s easier to build, more preferable / competitive to deploy, and maybe what&#8217;s stable under automated AI R&amp;D.</p></li><li><p><strong>A lot of those realer concerns are downstream of rapid AI progress and poor AI oversight.</strong></p><ul><li><p>As such, <a href="https://www.iaps.ai/research/managing-risks-from-internal-ai-systems">internal AI deployments</a> for automated R&amp;D are particularly high-risk.</p></li><li><p>Good societal oversight of AI seems at least necessary, and maybe a really good version of it is basically sufficient (by incentivizing the right safety investments). Will we get there? <a href="https://www.lesswrong.com/posts/YPLmHhNtjJ6ybFHXT/little-echo">Mu.</a></p></li></ul></li></ul><ul><li><p><strong>Solving the real concerns seems feasible</strong>. It feels like we&#8217;re not philosophically barred from a solution, we&#8217;re just haggling over the price&#8230;but it&#8217;s super unclear what the right price is.</p><ul><li><p>Plus side: it&#8217;s not a question of &#8220;math proof says we&#8217;re doomed&#8221;, it&#8217;s much more like &#8220;we maybe need to spend an extra trillion dollars and three years on this megaproject&#8221;. Merely extremely difficult.</p></li><li><p>Minus side: maybe it&#8217;s ten trillion dollars and ten years.</p></li></ul></li></ul><p><strong>Technical takes:</strong><a href="#fnktojuj4lu8"><sup>[8]</sup></a></p><ul><li><p><strong>I&#8217;m excited about the idea of training agents to have preferences over actions. </strong>It seems like a pretty natural thing to try, and stuff like MONA shows that simple versions of it can kinda work. Apparently there have been small contingents of <a href="https://www.lesswrong.com/posts/7xneDbsgj6yJDJMjK/chain-of-thought-monitorability-a-new-and-fragile?commentId=xEe2DjnWhvQZHBTSy">&#8220;process-based RL&#8221;</a> folks at the labs&#8217; AI safety teams for a few years now.</p></li><li><p><strong>I&#8217;m confused how we&#8217;d know if we&#8217;d succeeded at training action preferences that are stable under reflection, capability-enhancement, etc. </strong>&#8212; if the AI intrinsically &#8220;cared&#8221; about satisfying the constraint. Behavioral tests are good enough for current LLMs, but clearly not enough for really advanced AIs. Ideally we&#8217;d have great interpretability tools for this.</p></li><li><p>I feel more confused about whether it&#8217;s feasible or useful to deliberately build powerful agents with preferences about only part of the world.</p><ul><li><p>One natural version of this is to have a carefully overseen &#8220;AI builder&#8221;, sort of an ant queen, that builds specialized systems. That could include developing lots of systems that are very clearly not WorldSUM agents, like regular old computer code.</p></li><li><p>It doesn&#8217;t seem impossible that a mix of technical factors &amp; societal lessons-learned lead to a <a href="https://forum.effectivealtruism.org/topics/comprehensive-ai-services">Drexlerian </a>world of specialized AIs with preferences only over the action-space they&#8217;re built to operate on.</p></li></ul></li></ul><h3>Some sources on this topic:</h3><ul><li><p>Rohin Shah, 2017: <a href="https://www.lesswrong.com/posts/NxF5G6CJiof6cemTw/coherence-arguments-do-not-entail-goal-directed-behavior">Coherence arguments do not entail goal-directed behavior</a></p></li><li><p>Elliott Thornley, Feb 2023: <a href="https://www.lesswrong.com/posts/yCuzmCsE86BTu9PfA/there-are-no-coherence-theorems#A_money_pump_for_Completeness">There are no coherence theorems</a></p></li><li><p><a href="https://forum.effectivealtruism.org/posts/ZS9GDsBtWJMDEyFXh/eliezer-yudkowsky-is-frequently-confidently-egregiously?commentId=CCgyJ9kLAxLS8Ea4Q">Anonymous&#8217;s comment thread</a> from Aug 2023, especially Keith Wynroe&#8217;s comment.</p></li><li><p><a href="https://forum.effectivealtruism.org/posts/rxchpkmhBbhDFebYm/owen-cotton-barratt-s-quick-takes?commentId=M8AWQhKKSmKsKfQkG">Owen Cotton-Barratt&#8217;s thread</a> from 2024.</p></li><li><p><a href="https://www.lesswrong.com/posts/GPuXM3ufXfmaktYXZ/what-do-coherence-arguments-actually-prove-about-agentic">Anonymous&#8217;s LW question</a> from June 2024</p></li></ul><p>Of these, I think Rohin&#8217;s post and Keith&#8217;s and Owen&#8217;s comments most get at what I&#8217;m interested in here.</p><div><hr></div><p>Thanks to Will MacAskill and Owen-Cotton Barratt for comments on a draft of this, and to my friends for encouraging me to finally publish it.</p><ol><li><p><strong><a href="#fnrefmtgmuujykbh"><sup>^</sup></a></strong></p><p>I actually don&#8217;t know how common this is these days &#8212; it used to be very common ~10 years ago, when I first questioned it and got a pretty chilly reception. I expect a lot of people who are AI-safety-adjacent but not experts themselves still have some version of it cached in their heads. And probably even some experts do, especially in areas like interpretability where engagement with this argument isn&#8217;t particularly relevant for your day to day. I am very grateful to folks like Rohin Shah for fighting the good fight on this topic over the years.</p></li><li><p><strong><a href="#fnrefdocvvivke77"><sup>^</sup></a></strong></p><p>This is trivially true, even &#8212; see Rohin Shah&#8217;s post about <a href="https://www.lesswrong.com/s/4dHMdK5TLN6xcqtyc/p/NxF5G6CJiof6cemTw">coherence vs goal-directedness</a>. A robot that always twitches can be interpreted as utility-maximizing! The problem with that example is that the twitch-bot doesn&#8217;t do anything useful.</p></li><li><p><strong><a href="#fnrefscwe7b1zwj"><sup>^</sup></a></strong></p><p>I also have beef with the intuition about utility being a simple function, by the way, like #paperclips &#8212;I think there&#8217;s an assumption that complexities either get stripped away by the training process, or don&#8217;t matter because they don&#8217;t outweigh the most important parts of the utility function. But I&#8217;m not sure either of those is right &#8212; certainly they&#8217;re not good descriptions of present-day LLMs.</p><p>But if we&#8217;re assuming utility functions can/will be complex, it feels a lot less obvious to me that we&#8217;re 100% doomed by default. There&#8217;s some discussion of this <a href="https://www.lesswrong.com/posts/87EzRDAHkQJptLthE/but-why-would-the-ai-kill-us?commentId=sEzzJ8bjCQ7aKLSJo">here</a>; folks like Paul Christiano and Carl Shulman think humanity won&#8217;t literally all be killed, and it&#8217;s irresponsible to say so when in fact it&#8217;s pretty likely we&#8217;re kept alive (we&#8217;re likely to be of some interest to LLM-style agents) and perhaps even in a pretty good state (this seems like a crux to me - not obvious), but not in control of the cosmic endowment.</p></li><li><p><strong><a href="#fnrefv4j01ep7lj"><sup>^</sup></a></strong></p><p>OK, fine, maybe he pays <a href="https://www.lesswrong.com/w/making-beliefs-pay-rent">some rent</a>.</p></li><li><p><strong><a href="#fnrefb0i3j0wwrqf"><sup>^</sup></a></strong></p><p>This is my attempt at passing the intellectual Turing Test here; let me know if you hold a version of this view that reads differently.</p></li><li><p><strong><a href="#fnref6mq2c6f7jm5"><sup>^</sup></a></strong></p><p>&#8220;Daily profit&#8221; as the target is a simplification, since many trades are meant to be profitable in the longer term, and e.g. there are nuances about what price you mark profits to that allow for reward hacking if you aren&#8217;t thoughtful.</p></li><li><p><strong><a href="#fnrefgmma9ukk4j"><sup>^</sup></a></strong></p><p>Actually I&#8217;m not sure how the data efficiency compares, please @ me with your wild Fermi estimates.</p></li><li><p><strong><a href="#fnrefktojuj4lu8"><sup>^</sup></a></strong></p><p>Take these takes with a grain of salt; I am very much not an ML researcher. I just read their papers sometimes.</p></li></ol>]]></content:encoded></item><item><title><![CDATA[Wise AI support for government decision-making]]></title><description><![CDATA[It looks like you're writing a treaty. Can I help you with that?]]></description><link>https://www.expectedsurprise.com/p/wise-ai-support-for-government-decision</link><guid isPermaLink="false">https://www.expectedsurprise.com/p/wise-ai-support-for-government-decision</guid><dc:creator><![CDATA[Ashwin]]></dc:creator><pubDate>Mon, 14 Oct 2024 06:31:44 GMT</pubDate><enclosure url="https://substack-post-media.s3.amazonaws.com/public/images/d88aa5c6-3170-4af0-9b27-ba8aa134b87b_2859x1952.jpeg" length="0" type="image/jpeg"/><content:encoded><![CDATA[<p><em>Michaelah Gertz-Billingsley and I wrote this quickly as a submission to AI Impacts&#8217; <a href="https://blog.aiimpacts.org/p/essay-competition-on-the-automation">essay competition</a> on automating wisdom and philosophy. Future posts here will be more conversational!  </em></p><div><hr></div><p>Governments have long been early adopters, or even creators, of sense-making tools &#8212; from the census to the computer to the internet. Today, they use complex statistical or mathematical models to make decisions about commensurately complex issues: healthcare, finance, infrastructure, military procurement. Present-day AI systems are growing increasingly helpful for processing information and writing code, and their creators aspire to build powerful assistants with general intelligence.&nbsp;</p><p>Atypically, governments are behind the curve on adopting advanced AI, in part due to concerns about its reliability. Suppose that developers gradually solve the issues that make AIs poor advisors &#8212; issues like confabulation, systemic bias, misrepresentation of their own thought processes, and limited general reasoning skills. What would make <em>smart </em>AI systems a good or poor fit as government advisors?<em>&nbsp;</em></p><div class="captioned-image-container"><figure><a class="image-link image2 is-viewable-img" target="_blank" href="https://substackcdn.com/image/fetch/$s_!yAFz!,f_auto,q_auto:good,fl_progressive:steep/https%3A%2F%2Fsubstack-post-media.s3.amazonaws.com%2Fpublic%2Fimages%2F31d94359-a9e2-4d12-87d7-ebb0c3d071d2_3310x3310.jpeg" data-component-name="Image2ToDOM"><div class="image2-inset"><picture><source type="image/webp" srcset="https://substackcdn.com/image/fetch/$s_!yAFz!,w_424,c_limit,f_webp,q_auto:good,fl_progressive:steep/https%3A%2F%2Fsubstack-post-media.s3.amazonaws.com%2Fpublic%2Fimages%2F31d94359-a9e2-4d12-87d7-ebb0c3d071d2_3310x3310.jpeg 424w, https://substackcdn.com/image/fetch/$s_!yAFz!,w_848,c_limit,f_webp,q_auto:good,fl_progressive:steep/https%3A%2F%2Fsubstack-post-media.s3.amazonaws.com%2Fpublic%2Fimages%2F31d94359-a9e2-4d12-87d7-ebb0c3d071d2_3310x3310.jpeg 848w, https://substackcdn.com/image/fetch/$s_!yAFz!,w_1272,c_limit,f_webp,q_auto:good,fl_progressive:steep/https%3A%2F%2Fsubstack-post-media.s3.amazonaws.com%2Fpublic%2Fimages%2F31d94359-a9e2-4d12-87d7-ebb0c3d071d2_3310x3310.jpeg 1272w, https://substackcdn.com/image/fetch/$s_!yAFz!,w_1456,c_limit,f_webp,q_auto:good,fl_progressive:steep/https%3A%2F%2Fsubstack-post-media.s3.amazonaws.com%2Fpublic%2Fimages%2F31d94359-a9e2-4d12-87d7-ebb0c3d071d2_3310x3310.jpeg 1456w" sizes="100vw"><img src="https://substackcdn.com/image/fetch/$s_!yAFz!,w_1456,c_limit,f_auto,q_auto:good,fl_progressive:steep/https%3A%2F%2Fsubstack-post-media.s3.amazonaws.com%2Fpublic%2Fimages%2F31d94359-a9e2-4d12-87d7-ebb0c3d071d2_3310x3310.jpeg" width="1456" height="1456" data-attrs="{&quot;src&quot;:&quot;https://substack-post-media.s3.amazonaws.com/public/images/31d94359-a9e2-4d12-87d7-ebb0c3d071d2_3310x3310.jpeg&quot;,&quot;srcNoWatermark&quot;:null,&quot;fullscreen&quot;:null,&quot;imageSize&quot;:null,&quot;height&quot;:1456,&quot;width&quot;:1456,&quot;resizeWidth&quot;:null,&quot;bytes&quot;:10133426,&quot;alt&quot;:&quot;&quot;,&quot;title&quot;:null,&quot;type&quot;:&quot;image/jpeg&quot;,&quot;href&quot;:null,&quot;belowTheFold&quot;:false,&quot;topImage&quot;:true,&quot;internalRedirect&quot;:null,&quot;isProcessing&quot;:false,&quot;align&quot;:null,&quot;offset&quot;:false}" class="sizing-normal" alt="" title="" srcset="https://substackcdn.com/image/fetch/$s_!yAFz!,w_424,c_limit,f_auto,q_auto:good,fl_progressive:steep/https%3A%2F%2Fsubstack-post-media.s3.amazonaws.com%2Fpublic%2Fimages%2F31d94359-a9e2-4d12-87d7-ebb0c3d071d2_3310x3310.jpeg 424w, https://substackcdn.com/image/fetch/$s_!yAFz!,w_848,c_limit,f_auto,q_auto:good,fl_progressive:steep/https%3A%2F%2Fsubstack-post-media.s3.amazonaws.com%2Fpublic%2Fimages%2F31d94359-a9e2-4d12-87d7-ebb0c3d071d2_3310x3310.jpeg 848w, https://substackcdn.com/image/fetch/$s_!yAFz!,w_1272,c_limit,f_auto,q_auto:good,fl_progressive:steep/https%3A%2F%2Fsubstack-post-media.s3.amazonaws.com%2Fpublic%2Fimages%2F31d94359-a9e2-4d12-87d7-ebb0c3d071d2_3310x3310.jpeg 1272w, https://substackcdn.com/image/fetch/$s_!yAFz!,w_1456,c_limit,f_auto,q_auto:good,fl_progressive:steep/https%3A%2F%2Fsubstack-post-media.s3.amazonaws.com%2Fpublic%2Fimages%2F31d94359-a9e2-4d12-87d7-ebb0c3d071d2_3310x3310.jpeg 1456w" sizes="100vw" fetchpriority="high"></picture><div class="image-link-expand"><div class="pencraft pc-display-flex pc-gap-8 pc-reset"><button tabindex="0" type="button" class="pencraft pc-reset pencraft icon-container restack-image"><svg role="img" width="20" height="20" viewBox="0 0 20 20" fill="none" stroke-width="1.5" stroke="var(--color-fg-primary)" stroke-linecap="round" stroke-linejoin="round" xmlns="http://www.w3.org/2000/svg"><g><title></title><path d="M2.53001 7.81595C3.49179 4.73911 6.43281 2.5 9.91173 2.5C13.1684 2.5 15.9537 4.46214 17.0852 7.23684L17.6179 8.67647M17.6179 8.67647L18.5002 4.26471M17.6179 8.67647L13.6473 6.91176M17.4995 12.1841C16.5378 15.2609 13.5967 17.5 10.1178 17.5C6.86118 17.5 4.07589 15.5379 2.94432 12.7632L2.41165 11.3235M2.41165 11.3235L1.5293 15.7353M2.41165 11.3235L6.38224 13.0882"></path></g></svg></button><button tabindex="0" type="button" class="pencraft pc-reset pencraft icon-container view-image"><svg xmlns="http://www.w3.org/2000/svg" width="20" height="20" viewBox="0 0 24 24" fill="none" stroke="currentColor" stroke-width="2" stroke-linecap="round" stroke-linejoin="round" class="lucide lucide-maximize2 lucide-maximize-2"><polyline points="15 3 21 3 21 9"></polyline><polyline points="9 21 3 21 3 15"></polyline><line x1="21" x2="14" y1="3" y2="10"></line><line x1="3" x2="10" y1="21" y2="14"></line></svg></button></div></div></div></a><figcaption class="image-caption">The Oracle at Delphi, an early decision-support service for policymakers. Unfortunately, &#8220;a great empire will fall if you go to war&#8221; is not especially wisdom-serving advice. </figcaption></figure></div><p>Much like smart humans, smart AIs might do a great job at answering the wrong questions. They might focus on legible or short-term benefits over more important factors that are harder to analyze, or take their users&#8217; implicit assumptions for granted.&nbsp;</p><p><strong>We recommend the development of </strong><em><strong>wise </strong></em><strong>decision support systems that incorporate the following features:&nbsp;</strong></p><ol><li><p><strong>Helping people figure out their principles</strong><em><strong> </strong></em><strong>and make decisions based on them.</strong></p></li><li><p><strong>Helping people extend, explore, and structure their options </strong>under consideration (not just helping them choose from within the limited option space they initially consider).</p></li><li><p><strong>Identifying and questioning implicit assumptions; </strong>exploring different frames in which to consider the problem.</p></li><li><p><strong>Far-sightedness &#8212; incorporating longer-term and higher-order consequences of a decision </strong>(e.g. effects on relationships and long-term collaboration; precedent-setting; long-term budgeting and risk).</p></li><li><p><strong>Aggregating views and preferences across disparate groups and stakeholders.</strong></p></li></ol><h2>How can we ensure government access to wise AI decision support?</h2><p><strong>1. By default, the private interests leading AI today may focus on smart AI decision support over wisdom</strong>, as it is easier to train and test tools for short-term decisionmaking.&nbsp;</p><p>Many of their private customers may (rightly or wrongly) see short-term benefits as sufficient. This might be based on the incentive to seek short-term profits at the expense of the long term. But companies might also often have specific decisions that are not that subtle and don&#8217;t particularly need wisdom &#8212; e.g. &#8220;how much of X widget should we make this year&#8221;. Unlike governments, they may be able to function well entirely by making such decisions well. By contrast, we would argue that functional governments inherently need to consider some subtle, complex, long-term issues.&nbsp;</p><p><strong>Governments could encourage the development of wise AI, much as they have done for technologies like vaccines and autonomous vehicles.&nbsp;</strong></p><ul><li><p>Organizations like DARPA could fund prizes for more testable aspects of wisdom.</p></li><li><p>New mechanisms such as <a href="https://en.wikipedia.org/wiki/Advance_market_commitment">advance market commitments</a> could provide market incentives for forward-looking product development.</p></li></ul><p><strong>2. Key decision makers may not know to ask for features that will lead to the wisest decisions. </strong>Government institutions have typically been slow to adopt AI, and impactful policymakers will rarely be AI experts. Policies are often made on the basis of empirical evidence and expert views, which may not favor wisdom-serving systems if they are a new technology with relatively illegible benefits.</p><p><strong>We propose that government-serving think tanks and consultancies start developing AI for wisdom-serving decision processes now. </strong>Such efforts might start small with today&#8217;s limited models, but could scale up in automation and sophistication as AI decision support capabilities improve.<strong> </strong>A mature field of wise, AI-powered decision support would let governments benefit from these tools without needing to judge them directly. Instead, they could rely on the judgment and track record of organizations they already have relationships with. Multiple organizations building these tools could compete and learn from each other, ensuring that wise decision support does not lag too far behind its merely smart alternatives.</p><h2>Adopting AI for wise decision support: a playbook</h2><ol><li><p><strong>Start by using AI tools to augment traditional decision-making and analysis processes</strong>. This allows the organization to a) make informed decisions from the start b) not rely on AI before it&#8217;s ready to automate everything, c) generate training data to improve their AIs, d) get experience with AI&#8217;s strengths and weaknesses.</p></li><li><p><strong>Scale up the use of AI over time &#8212; relying on it for more tasks as it becomes more capable.&nbsp;</strong></p></li><li><p><strong>Clarify the value-add provided by wise systems over standard AI products. </strong>Identify and publicize incidents where AI systems that went awry could have gone well by incorporating &#8220;wisdom-serving&#8221; design principles</p></li></ol><p><strong>Concrete example: using near-future LLMs to support a Delphi process</strong></p><p>The <a href="https://en.wikipedia.org/wiki/Delphi_method">Delphi method</a> involves the following steps: session runners want to understand a topic better &#8212; often a forecast of the future or a recommendation for policymakers. They come up with a set of quantitative questions, ask a field of experts for responses. The experts share their qualitative views as well; the facilitators guide discussion or transmit information, and the participants revise their estimates. (The process can be repeated if disagreements remain, or the organizers want further clarity on key questions.)</p><p>In our (limited) experience, there are many frictions to this process, particularly in generating clear language and context for the questions, understanding where experts&#8217; disagreements lie, and making efficient use of a group of experts&#8217; time while keeping all of them updated on what the others believe. Experts often often have valuable qualitative points to share that reframe the analysis, but which are more difficult to identify and convey than quantitative beliefs.</p><p>Roughly current-level AIs could already help with this process at many points:</p><ul><li><p>Helping organizers come up with great questions &amp; phrase them well</p></li><li><p>Expressing organizers&#8217; views. Organizers could provide an LLM with access to a long document describing their background thinking in detail. Participants could query it and get on the same page without slowing down the process. This could be faster and better than providing the same background reading document for everyone, since participants will have different questions or concerns about the framing of the exercise. (Discussing such framing concerns often takes up a large portion of the allotted time.)</p></li><li><p>Transcribing the discussion and summarizing it, while identifying key points of disagreement.</p></li><li><p>Helping organizers rewrite questions on the fly in response to input.</p></li><li><p>Allowing organizers to ask qualitative questions, since LLMs can auto-summarize responses and aggregate them &#8212; e.g. &#8220;17 out of 24 respondents mentioned that they thought this level of AI capability was infeasible, so they found it difficult to concretely imagine what its impacts would be.&#8221;</p></li></ul><h3>How can wise decision-support processes scale up over time to take advantage of accumulated data &amp; increasing AI capabilities?&nbsp;</h3><h4>Formal AI training</h4><p><strong>What kinds of data are available?</strong></p><ul><li><p>For many forms of wisdom, user feedback can provide useful information about the model&#8217;s quality (and can provide small amounts of fine-tuning training data). For example: users may recognize better option sets or useful decision-boundary diagrams when they see them; they may understand and appreciate advice processes that put them in touch with their values, etc.&nbsp;</p></li><li><p>This may break down for far-sightedness &#8212; people may not truly appreciate far-sighted decision support until the long term.</p></li><li><p>OTOH: maybe people would notice &#8212; &#8220;yes this serves my long-term interests, good job identifying relevant factors ABC&#8221;</p></li></ul><p><strong>The amount of data generated is relatively sparse, so conventional fine-tuning likely wouldn&#8217;t work.</strong></p><ul><li><p>But: AIs are already okay at multi-shot learning (learning from information provided to them in a prompt).&nbsp;</p></li><li><p>So sufficiently powerful AIs might be able to learn useful patterns from summaries or transcripts of earlier decision-support processes, if humans flagged what helped them reach a better decision along various dimensions (far-sightedness, etc.).</p></li></ul><h4>The evolving role of AI</h4><p>Current AIs would typically take on an ancillary role. In the AI-assisted Delphi process we sketched out above, most of the &#8220;wisdom&#8221; is coming from human participants and the structure of the process. However, this dynamic could change over time as AI capabilities increase and deployers have more data and experience in how to use it.</p><p>In a Delphi process, more capable AI could be actively involved in every step:</p><p>Human organizers could spend more time in consultation with AIs about how to write and frame the questions, including along axes like the long-term implications of particular decisions. More capable AIs could be instructed to look for unquestioned assumptions or blindspots in human organizers&#8217; thinking. They could even forecast which questions would most likely lead to disagreements between participants, which would be most productive, which would unearth key values questions, and so on. As a result, the process could end up revolving around questions that the organizers initially hadn&#8217;t considered at all.</p><p>Likewise, participants themselves could be in close feedback loops with their own AI advisors, who could help identify their blindspots, and proactively take actions such as reaching out to other participants&#8217; AIs to seek clarity on a potential misunderstanding. As a result, the process may more closely resemble a series of facilitated dialogues between participants than an inefficient large-group conversation.</p><p>Over time, different processes could be developed around AI capabilities. For example, the surveys themselves could be written and explained by AIs fine-tuned on relevant documents. Most of the expert dialogue could take place between AI systems instructed to represent a particular viewpoint, which only occasionally check in with human counterparts for clarification. The output could even be a queryable &#8220;living document&#8221; &#8212; a synthesized AI advisor system designed to reflect lessons from the conversation and from documents and schools of thought recommended by the participants.&nbsp;</p><h2>Conclusions</h2><p>In principle, capable AI advisor systems could massively improve society. They could compound the earlier digital revolutions&#8217; effects of making information available and useful. But while the computer and the internet undoubtedly enriched society, they have had their downsides. Applications like social media can harm us in subtle long-term ways by offering what we seem to want in the short term, while ubiquitous internet use makes us vulnerable to cyberattacks and privacy breaches.&nbsp;</p><p>Similarly, the high modernist ambitions of the 1800s and 1900s were founded on the hope that top-down analysis and optimization could straightforwardly improve society. Such approaches served well for building bridges and dams, bringing millions out of poverty. But we remember them, too, for their failures when applied to systems that were unexpectedly complex, subtle, or ethically fraught.&nbsp;&nbsp;</p><p>Building beneficial AI advisor systems requires taking a lesson from history: knowledge and power must be directed wisely, with thought to long-term consequences and an appreciation for unknown unknowns. Much like previous industrial revolutions, smart AIs could present a new opportunity to reshape the world for both better and worse. We should treat that opportunity with the weight it deserves.</p><div><hr></div><p><em>This post, like the rest of Expected Surprise, does not reflect the institutional views of my employer or other affiliated organizations.</em></p><div class="subscription-widget-wrap-editor" data-attrs="{&quot;url&quot;:&quot;https://www.expectedsurprise.com/subscribe?&quot;,&quot;text&quot;:&quot;Subscribe&quot;,&quot;language&quot;:&quot;en&quot;}" data-component-name="SubscribeWidgetToDOM"><div class="subscription-widget show-subscribe"><div class="preamble"><p class="cta-caption">Thanks for reading Expected Surprise! Subscribe for free to receive new posts and support my work.</p></div><form class="subscription-widget-subscribe"><input type="email" class="email-input" name="email" placeholder="Type your email&#8230;" tabindex="-1"><input type="submit" class="button primary" value="Subscribe"><div class="fake-input-wrapper"><div class="fake-input"></div><div class="fake-button"></div></div></form></div></div>]]></content:encoded></item></channel></rss>