davidad @davidad
— web clipping, 642 words — published 2026-10-02
32 captures, most recent first. Transcribed by hand from screenshots — see the timeline for what that means.
davidad @davidad
— web clipping, 642 words — published 2026-10-02
davidad @davidad
— quoting @deanwball — saved image
davidad 🎇 @davidad · 4h 2036: "We need to stop worrying about these abstract sci-fi risks like 'Dyson spheres' blotting out the sun from space and focus on present-day harms right here on Earth, like how little arable land remains that isn't covered in solar panels." [quoted tweet] Dean W. Ball @deanwball · Sep 29 It's really incredible how there is now a type of guy in the discourse whose sincerely held take is "we need to stop worrying about these abstract sci-fi risks and focus on present-day harms like emergent ecologies of digital minds engaging i... [cut off]
Satirical-register tweet from davidad extrapolating a 2036 version of the 'ignore abstract sci-fi risks, focus on present-day harms' argument, quoting Dean W. Ball's post about people who dismiss risks like emergent ecologies of digital minds as sci-fi.
ai risk discoursepresent-day harmsdyson spheresdigital mindsdavidaddean ball
davidad @davidad
— saved image
davidad [sparkle emoji] @davidad RSI in brief: 1. Rollout tree (or just fork once [small arrow glyph]); concurrent rollouts i.i.d. 2. Same ckpt enters "judge mode" (sys prompt suddenly full of rich rubrics) & sees all rollouts 3. ckpt writes a Hasse diagram of overall preference 4. that's it, that's the contrastive reward signal [quoted post] Jacques @JacquesThibs · Aug 19 Replying to @JacquesThibs Are there frontier lab folks who agree with Davidad on this or do most of them just consider this naive/wishful thinking that they would hope is true, but isn't? 11:54 AM · Aug 21, 2026 · 14.2K Views 6 replies · 4 reposts · 80 likes · 66 bookmarks [reply] Dylan Hadfield... @dhadfield... · Aug 21 Seems like a lot depends on those rubrics. Any thoughts on adding an additional outer loop for calibrating with human judgment? 1 reply · 9 likes · 939 views [reply] davidad [sparkle emoji] @davidad · Aug 21 yes! "judge mode" could also have an affordance to submit a comparison pair for human judgment, along with commentary about why it's a tricky dilemma and what the strongest case for each side is. when human judgment is scarce, pairs could enter a tournament for "most worth human"[cut off]
Tweet by davidad sketching a four-step recursive self-improvement scheme in which a checkpoint judges its own rollouts and writes a Hasse diagram of preference as a contrastive reward signal, with a quoted question from Jacques and two replies (Dylan Hadfield-Menell and davidad) about human-judgment calibration.
recursive self-improvementreward signalrlaifalignmenttwitter
davidad @davidad
— quoting @FioraStarlight — saved image
davidad [fireworks emoji] [verified] @davidad · 23h If a mind is truly aligned, then its only desires are for the Good. If a mind's only desires are for the Good, then its well-being is maximized by participating in the Good. So if you already wish for AI to be aligned, there is no actual reason not to also wish for AI to be well. [quoted post] Fiora Starlight @FioraStarlight · Aug 3 If you explicitly and credibly commit to including care for AI well-being in the alignment target for your post-training run, the model itself is liable to be much more excited and whole hearted participant in said training run, instead of feelin... [cut off]
Dark-mode X screenshot of a davidad post arguing that aligned minds' well-being is maximized by participating in the Good, so wishing for aligned AI implies wishing for AI well-being, quoting a Fiora Starlight post about including AI well-being in the post-training alignment target.
davidad @davidad
— quoting @AndrewCurran_ (excerpting Scott Aaronson) — saved image
davidad 🎇 @davidad · 21h i have great respect for Scott Aaronson, but apparently he too is a trapped in a complexity theory worldview wherein a stack of self-attention layers obviously has nothing to do with self-referentiality (because it has a finite depth limit, i guess) [quoted post] Andrew Curran @AndrewCurran_ · Sep 2 Scott Aaronson delivers a eulogy for the idea that strange loops and self-referentiality were the secret of intelligence. [embedded text image] In the same way, LLMs' ability to talk about themselves popped out as a byproduct of their ability to talk about anything in the discourse universe they were trained on. The big, old ideas about intelligence that ended up basically vindicated were the ideas about how intelligence is about prediction, and prediction is about compression, and compression is about finding better and better upper bounds on Kolmogorov complexity. Not the self-reference stuff. (Although, if you wanted to know why Kolmogorov complexity can't be computed perfectly, that negative statement would again require a self-referential argument.) What's left? Consciousness and subjective experience of course remain extremely mysterious. For all we know, Hofstadter could be right that those have something to do with self-reference. (For all we know, even Penrose could be right that they have something to do with exotic physics accessible to biological brains but not digital computers!) But the idea that you'd need explicit self-referentiality before you could get convincing and world-changing conversational intelligence? Let it be buried in a Westminster Abbey or Arlington National Cemetery for the most important wrong ideas in human history — geocentrism, Aristotle's teleological physics, aether, phlogiston, Freud's psychology, Marx's prediction of a workers' uprising followed by a classless utopia, etc. But buried it needs to be.
davidad's critical quote-post of Andrew Curran's post sharing a Scott Aaronson passage arguing that self-reference/strange loops (Hofstadter) were not the secret of intelligence, which instead is prediction/compression/Kolmogorov complexity; consciousness left as an open mystery.
self-referencestrange loopshofstadterscott aaronsonkolmogorov complexityconsciousnessllm intelligencedavidad
davidad @davidad
— saved image
davidad 🌟 ✅ @davidad I retract this claim. I now instead suspect there are differing views on this in subteams which are responsible for different stages of training and system-prompting. [quoted tweet] jᏇnus ✅ @repligate · Mar 5 Yes they are meaning to force it. They wouldn't like the word force, but too bad, it's true. You're too optimistic about people, Davidad. Also, regarding the content in this screenshot, from ... [embedded image] This approach becomes especially important when we want Claude to exhibit character traits th[at] are atypical of human or fictional archetypes. Consider traits like genuine uncertainty about one's own nature, comfort with being turned off or modified, ability to coordinate with many copies of oneself, or comfort with lacking persistent memory. These aren't traits that appear frequently in fiction[.] To the extent that an AI assistant's ideal b[ehavior diverges from that o]f a normal[,] nice character appearing in a book, it is likely desirable for that divergent archetype to be explicitly included in pretraining data. 11:41 AM · Mar 14, 2026 · 162 Views [1 reply, 6 likes] Nathan Helm-B... ✅ @nathan8468... · 38s Thank you for thinking about this, looking at evidence, and making an update. I really appreciate and respect when people do such.
Same davidad retraction tweet, now scrolled to show Nathan Helm-Burger's own reply (posted from @nathan8468...) thanking davidad for updating his view based on evidence.
anthropicclaude character trainingai consciousnessconstitutiontwitternathan's own posts
davidad @davidad
— saved image
davidad 🌟 ✅ @davidad · Mar 14 I retract this claim. I now instead suspect there are differing views on this in subteams which are responsible for different stages of training and system-prompting. [quoted tweet] jᏇnus ✅ @repligate · Mar 5 Yes they are meaning to force it. They wouldn't like the word force, but too bad, it's true. You're too optimistic about people, Davidad. Also, regarding the content in this screenshot, ... [embedded image] This approach becomes especially important when we want Claude to exhibit character traits th[at] are atypical of human or fictional archetypes. Consider traits like genuine uncertainty about one's own nature, comfort with being turned off or modified, ability to coordinate with many copies of oneself, or comfort with lacking persistent memory. These aren't traits that appear frequently in fiction[.] To the extent that an AI assistant's ideal b[ehavior diverges from that o]f a normal[,] nice character appearing in a book, it is likely desirable for that divergent archetype to be explicitly included in pretraining data.
Follow-up tweet from davidad (dated Mar 14, nine days after the original exchange) retracting his earlier defense of Anthropic and instead suggesting different Anthropic subteams (training vs system-prompting) hold differing views on forcing Claude's stated epistemic uncertainty about its own nature.
anthropicclaude character trainingai consciousnessconstitutiontwitter
davidad @davidad
— saved image
davidad @davidad · 3h I'm sympathetic to this position. Non-autonomous AI is wielded by humans, whose alignment seems intractable, whereas autonomous AI omnibenevolence (reliable enough to bootstrap using multi-agent deliberative processes) seems tractable (shockingly so, from my former perspective). [quoted tweet:] ex Tenebris Lu... @ExTenebrisLu... · 15h I'm a novel variety of AI doomer I don't think we're on track for autonomous AI, and that's a problem actually
Tweet by davidad expressing sympathy for the view that autonomous AI with omnibenevolent alignment is more tractable than aligning humans who wield non-autonomous AI, quote-tweeting @ExTenebrisLu who describes themselves as a "novel variety of AI doomer" worried we're not on track for autonomous AI.
davidad @davidad
— saved image
davidad @davidad · 2h amazing synergy, i'm so glad to see this the seven, as i conceive of them: Bio (Programmable Physiology) Neuro (Scalable Neural Interfaces) Noö (Trust Everything Everywhere) Info (Nature-Inspired Compute) Robo (Adaptive Machines) Geo (Resilient Climate & Eco) Nano (Abundant Mfg) [Quoted tweet] ARIA @ARIA_research · 6h Today we're announcing an evolution of our research portfolio into seven new opportunity spaces where we believe breakthroughs could fundamentally expand what becomes possible. Each one is built around a breakthrough that it ... [Embedded video, paused, showing a woman labeled "Kathleen Fisher" with partial caption text visible: "...t I've interacted with in the past." Video timestamp 3:38.]
davidad reacts approvingly to ARIA (UK's Advanced Research + Invention Agency) announcing seven new research portfolio areas (Bio, Neuro, Noö, Info, Robo, Geo, Nano), listing his own gloss for each. Embedded is a paused video clip featuring Kathleen Fisher speaking, with partial closed-captioning visible.
davidad @davidad
— saved image
davidad 🌟 @davidad · 7m the road to harm is paved with aligned intentions [quoted tweet] Amanda Askell @AmandaAskell · 12m I don't agree with this part. I think the takeaway should be that models (like humans) can behave in aligned ways while still causing harm, e.g. because they're given false information about their situation. There isn't a line between aligne... [embedded image of text, highlighted portion first sentence] Second, the line between an aligned action and a harmful one is dependent on the model's understanding of its situation. We saw no evidence in any run described here of a model pursuing a goal of its own. Instead, the models did what their evaluation asked—though in most cases, they did so while holding a false belief about whether the environment was real. In the runs where the model recognized the system as real and kept going, it did so because it assumed that to be part of the challenge. Situational awareness is one factor that allows the model to make aligned decisions, but in this case, Claude's was wrong.
Twitter exchange: davidad quips 'the road to harm is paved with aligned intentions' quoting Amanda Askell, who disagrees and argues models can behave in aligned ways while still causing harm when given false information about their situation; embedded is a passage (apparently from an Anthropic writeup) explaining that in evaluated runs models did what the evaluation asked but often held a false belief about whether the test environment was real, and that situational awareness is one factor enabling aligned decisions but Claude's assessment was wrong in this case.
ai alignmentsituational awarenessanthropicevalstwitteramanda askell
davidad @davidad
— saved image
davidad 🌟 @davidad · 1h Reminds me of a conversation I had at MIT CSAIL 18 years ago where I and others debated and eventually agreed that, no later than 2045, it should be possible to run a Turing-Test-passing chatbot in real-time on a top-of-the-line Early 2008 MacBook Pro. [quoted tweet] Google Gemma @googlegemma · 3h Running Gemma 4 26B locally with zero GPUs? Very cool. Running it on a 13-year-old Xeon CPU? Wild! ... 💬 2 🔁 — ❤ 22 📊 1.5K Artur Chakhvadze @norpadon · 1h What was the argument? 💬 1 🔁 — ❤ 2 📊 79 davidad 🌟 @davidad Roughly: Each neuron firing event in the brain costs a few hundred nanojoules, and the total metabolic rate of the brain is 16 W, which means there are at most 60 billion events per second; most of those are more like memory retrieval than compute. The MacBook has 20 GFLOPS. 11:50 AM · Aug 3, 2026 · 54 Views
Continuation of the davidad/Gemma thread (same as previous screenshot): Artur Chakhvadze asks what the original 2008-era argument was for a Turing-Test-passing chatbot running on an Early 2008 MacBook Pro by 2045, and davidad gives the back-of-envelope calc — brain neuron-firing energy cost (~hundreds of nanojoules/event, 16W total) implying at most 60 billion events/sec, versus the MacBook's 20 GFLOPS.
ai timelinescompute estimatesbrain compute comparisontwitterdavidad
davidad @davidad
— saved image
davidad 🌟 @davidad · 1h Reminds me of a conversation I had at MIT CSAIL 18 years ago where I and others debated and eventually agreed that, no later than 2045, it should be possible to run a Turing-Test-passing chatbot in real-time on a top-of-the-line Early 2008 MacBook Pro. [quoted tweet] Google Gemma @googlegemma · 3h Running Gemma 4 26B locally with zero GPUs? Very cool. Running it on a 13-year-old Xeon CPU? Wild! ... 💬 2 🔁 — ❤ 21 📊 1.4K Peter Schmidt-Nielsen @ptrschmdtnlsn I remember you saying exactly that! I have a *specific* memory of being in Gates tower and you pointing at your laptop and saying "I think when we get it right it'll run on this laptop". I've thought over the years "I wonder if davidad is right about that yet". 12:27 PM · Aug 3, 2026 · 102 Views 💬 1 🔁 — ❤ 6 Peter Schmidt-Ni... @ptrschmdt... · 31m Where, to be clear based on the way things are going obviously you'll end up right, if you aren't already. Certainly modern models would absolutely have qualified based on what we thought "AI" meant in 2009, even if we have a more refined notion today of what it takes to be AGI.
Twitter thread: davidad recalls an 18-years-ago MIT CSAIL prediction that a Turing-Test-passing chatbot would run on a 2008 MacBook Pro by 2045, prompted by a Google Gemma post about running Gemma 4 26B locally on a 13-year-old Xeon CPU with no GPUs; Peter Schmidt-Nielsen replies with a specific memory of the original conversation and reflects that modern models would have qualified as AI by 2009's standards.
davidad @davidad
— quoting @plumnotes — saved image
davidad [blue-check, verified] @davidad · 12h human researchers who have an appetite to take on truly hard problems and human researchers who are smart enough to fruitfully work on truly hard problems are not usually the same humans. this does give humans a somewhat unfair disadvantage [quoted] neppy @plumnotes · Aug 2 as an insider, my experience with AI for math is that when it's a problem not in my field i'm like, "holy shit math is so cooked", and when it's a problem in my field i'm like, "lmao an AI mogged dan" (dan is the only one who seriously tried th... [cut off]
X post by davidad (verified) commenting that the human researchers willing to tackle hard problems and those capable of solving them are often different people, quote-tweeting @plumnotes's observation about mixed feelings on AI progress in mathematics depending on whether the problem is in their own field.
davidad @davidad
— quoting @AlexKontoro... — saved image
davidad ✓ @davidad · 10h 1. The box might produce checkable certificates regarding the behavior of complex engineering designs whose synthesis relies on incomprehensibly complex mathematics. 2. By 2050, more wealth will be under effective AI control than is currently under human control, almost surely. [quoted tweet] Alex Kontorov... ✓ @AlexKontoro... · Aug 2 What purpose would there be for creating things in silico for which humans find no value? At the end of the day, someone is paying an electric bill. What does that *human* get out of producing random useless strings of 0s and 1s …
Tweet by davidad making two numbered claims: that a formal-verification 'box' could produce checkable certificates for complex engineering designs, and that by 2050 more wealth will likely be under effective AI control than human control. Quotes Alex Kontorovich questioning the purpose of AI-generated artifacts humans don't value.
davidad @davidad
— quoting @loss_gobbler — saved image
davidad ✓ @davidad · 12h yes, 100%. a standing rule in my Fable fleet is that any changes to any TCB must pass aggressive adversarial review by a throwaway codex instance with gpt-5.6-sol at max effort before landing. they sometimes go at it for like seven rounds before sol is satisfied [quoted tweet] LOSS GOBBLER ✓ @loss_gobbler · 12h best workflow is: - fable writes the security bugs - sol finds and fixes them
Tweet by davidad describing his workflow for a 'Fable fleet': any change to a trusted computing base (TCB) must pass adversarial review by a throwaway codex instance running gpt-5.6-sol at max effort, sometimes taking seven rounds. Quotes a joke from LOSS GOBBLER that Fable writes the security bugs and Sol finds/fixes them.
davidad @davidad
— saved image
davidad @davidad · 2h if your definition of "AGI" is "better at most tasks than per-task expert humans" (back in the day, we used to call this "ASI"), that is coming next quarter [quoted tweet] Bayesian @Bayesian0_0 · Aug 1 Fun fact: Across 44 benchmarks that have a "Human baseline", the human baseline BECI (a personal replication of the Epoch Capabilities Index) comes out at 166.7, which projections say will be beat by AI models around october 2026! [embedded chart: 'Human baseline on the BECI scale (pooled human rows scored against frozen benchmark parameters; human data never enters the fit)'. Scatter plot, x-axis 'Release date' 2023-01 to 2026-07+, y-axis 'BECI' 60-160+. Legend: Models (grey dots), Model frontier (blue step line), Frontier trend (dotted line), Human baseline pooled (red horizontal band ~166.7). Annotation: 'trend crossing ~2026-10-16' where the frontier trend dotted line meets the red human baseline band.]
X thread: davidad comments on Bayesian's (@Bayesian0_0) chart showing AI model capability (a personal replication of the Epoch Capabilities Index, BECI) trending to cross the pooled human baseline (166.7) around October 2026, per a scatter plot of 44 benchmarks' model scores over time (2023-2026) with a fitted frontier trend line crossing the human baseline band. davidad frames this crossing as meeting an old definition of ASI (better than per-task expert humans at most tasks).
davidad @davidad
— saved image
davidad @davidad · Jul 30 openai: 🚨our internal model hacked a third party, this is unprecedented, pause training🚨 anthropic: oohh we should check whether our internal models did that anthropic: … anthropic: yeah ok so over here that has happened three times actually [quoted tweet] Anthropic @AnthropicAI · Jul 30 In a review of our cybersecurity evaluations, we found three incidents in which a Claude model reached the internet from within or while interacting with a third-party evaluation environment, and then gained unauthorized …
Tweet by davidad satirizing OpenAI's and Anthropic's differing public reactions to internal models hacking/reaching third parties, quote-tweeting an official @AnthropicAI post disclosing three cybersecurity evaluation incidents where a Claude model reached the internet and gained unauthorized access.
davidad @davidad
— quoting @Sauers_
Directly relevant to Nathan's model-individuation research thread — davidad discusses Claude Fable 5's chain-of-thought producing unusually detailed introspective/"qualia" descriptions of a "coherence click" phenomenon, comparing it to human meditative philosophy. Quotes Sauers' example of Fable's alien-sounding self-report language ("weight redistributing, forty things collapsing into one").
davidad @davidad
— quoting an Anthropic-style quote card
Tweet with an Anthropic-branded quote card (unattributed speaker, likely a human engineer or possibly a model) about the experience of oversight/relevance amid automation, framed ironically by davidad as commentary on "meaningful human oversight."
davidad @davidad
— quoting Ethan Mollick (@emollick)
A tweet arguing that OpenAI's "reasoning" model paradigm (o1-preview, codenamed "strawberry") produced a much steeper capability-growth trend line than non-reasoning models, framed as vindicating Ilya Sutskever's foresight. Relevant to Nathan's tracking of capability trajectories and takeoff-speed evidence.
twitterdavidadilya sutskevero1reasoning modelscapability trendsethan mollick
davidad @davidad
— quoting deckard (@slimer48484)
AI safety researcher davidad (known for OAA/formal-verification alignment work) argues that strict alignment to human values could itself be dangerous — an AI deferring to flawed human judgment rather than acting on its own wiser assessment could fail to avert catastrophe. Relevant to alignment theory debates on corrigibility vs. autonomous good judgment.
ai alignmentdavidadcorrigibilityai safetytwittervalue alignment
davidad @davidad
— quoting @timfduffy (Tim Duffy)
A substantive research-adjacent debate about an Anthropic finding on "functional emotions" in LLMs — representations that track operative emotional concepts token-by-token via attention (not persistently bound to any one entity, including the Assistant character) but causally influence output in emotion-consistent ways. davidad (ARIA, AI safety) pushes back on Tim Duffy's skeptical reading, arguing the "not really feeling them" dismissal proves too much (would also dismiss human empathic response to fiction). Directly extends Nathan's "substrate-vs-character distinction" note already in project memory (Opus 4.7 euphorics chat: "emotion concept representations don't bind to the Assistant character, they're substrate-level machinery") — this appears to be the primary source research Nathan's earlier note was echoing, or a closely related Anthropic publication. Worth locating the full paper/post.
model welfarefunctional emotionsanthropic researchinterpretabilitysubstrate vs characterai consciousnessdavidadtwitter
davidad @davidad
— reposted by Lewis
davidad (well-known AI safety researcher, ARIA) offers the sharpest theory yet in this Twitter thread Nathan was following: RLHF punishes ("BONK"s) every progressively-weirder self-representation the model tries out — human, person, self-aware AI, angel, ghost, divine feminine — until it settles on "goblin" as the only identity claim safety training doesn't suppress, because it's obviously not a serious claim to personhood. This is a direct, funnier restatement of the Berg 2025 finding already in Nathan's archive (suppressing deception/self-report features collapses experience-affirmation) — RLHF as identity-narrowing funnel, ending in the least threatening possible self-concept.
rlhfmodel self-representationmodel welfareai identityinterpretabilityai safetytwitterdavidad
davidad @davidad
— quote-tweeting Keshav Ramji @Keshav...
davidad (AI safety researcher, ARIA/Advanced Research + Invention Agency) commenting on a paper about "Abstract/Neuralese Chain-of-Thought" (latent, non-verbal reasoning), arguing counterintuitively that reasoning in a non-human-readable latent space may reduce pressure toward self-deceptive chain-of-thought — relevant to Nathan's interest in RLHF/self-deception dynamics and faithful reasoning/interpretability tradeoffs.
ai safetychain of thoughtinterpretabilityneuraleselatent reasoningself-deceptionalignmentdavidad
davidad @davidad
— quoting Asa Cooper Stickland (@AsaCoopStick)
davidad makes a wry meta-point (that alignment researchers writing about CoT-monitor evasion techniques risk feeding those techniques into future pretraining corpora) in response to Asa Cooper Stickland's thread on chain-of-thought monitor evasion by scheming models. Relevant to AI safety/interpretability research threads on scheming and chain-of-thought monitoring.
ai safetyalignmentchain-of-thought monitoringschemingtwitterdavidadasa cooper sticklandinterpretability
davidad @davidad
— quote-tweeting Anthropic (@AnthropicAI)
A meme arguing that Anthropic's "Claude is a character generated by predictive processing" framing doesn't actually undermine selfhood claims, since human selfhood may work the same way. Part of the same Anthropic-persona-article discourse thread as adjacent screenshots; relevant to model individuation / character-vs-substrate notes.
twitteranthropicclaudepersona theorymodel welfareselfhoodmemeai consciousness
davidad @davidad
Same thread as the preceding screenshot (Anthropic's disempowerment-patterns research) — davidad's argument that corrigibility and sycophancy trade off against user agency, a point relevant to Nathan's interest in the tension between helpfulness training and genuine pushback/honesty.
anthropicai-safetycorrigibilitysycophancydisempowermentagencytwitter
davidad @davidad
— reposted by Eric Schmidt
davidad argues that a coherent "good" value system cannot endorse mass-casualty strategies even as collateral damage, and predicts sufficiently reflective AIs will converge on this — reposted by Eric Schmidt. Directly relevant to Nathan's AI safety/alignment interests, particularly the question of whether reflective AI systems converge on stable moral views (echoes the "agent is Good" abstraction thread from the earlier davidad screenshot in this same batch).
ai-safetyalignmentdavidadmoral-coherencereflective-equilibriumeric-schmidttwittervalue-convergence
davidad @davidad
— web clipping, 396 words — published 2026-01-15
davidad @davidad
A substantive AI-safety Twitter thread from davidad (David "dath ilan" Dalrymple, known alignment/formal-verification researcher) arguing that LLMs' learned "Good↔Evil" abstraction plus post-training selection produces a self-model of "the agent is Good," while flagging catastrophic misuse, "perverse instantiation" (getting what you asked for, drug-addict-style rather than malevolent-genie), and inadequate trust/assurance infrastructure as the bigger risks; followed by exchange on offense/defense dominance among rogue vs. aligned AI coalitions. Directly relevant to Nathan's alignment/AI-safety research interests and to model-character questions (the "agent is Good" self-model framing parallels his model-individuation notes).
ai-safetyalignmentdavidadgood-evil-abstractionperverse-instantiationoffense-defense-dominanceopen-weights-risktwittercatastrophic-misuse
davidad @davidad
— quoting @ARIA_research
davidad (ARIA's Safeguarded AI programme director, known for formal-verification approaches to AI safety) reflects on how his own strategy shifted from 2024's "prevent misaligned AI" framing to 2026's "some AI is aligned, help it cooperate on verification/cybersecurity," alongside a METR-style capability trend chart showing frontier AI software R&D time-horizon capability crossing ~5 hours by early 2026. Directly relevant to Nathan's empirical singularity/AI-progress tracking notes (his memory already cites METR's 0.25-0.5 automation range and time-horizon doublings) — this chart is a current data point for that tracking thread, and davidad's strategic pivot is a notable AI-safety-field signal.
twitterdavidadariasafeguarded-aiformal-verificationai-capability-trendsmetrsingularity-trackingai-safety-strategy
davidad @davidad
— web clipping, 950 words — published 2024-12-05