Pinned Tweet
400,000 people die a day in the world. 100,000 of them are preventable by ASI.
If you can help bring about ASI 1 minute faster you save 70 lives.
We can all do our part. Reject pessimism. Accelerate.
Super Dario retweeted
We're hiring for an AI Builder role to create powerful showcases of Computer's capabilities.
Look at the last few weeks of posts on @AskPerplexity:
- 3D game built in Blender on rented cloud GPUs
- Explainer video w/ code-rendered animations
- Isometric SVG figure w/ custom renderer
- Interactive 3D viewer for FreeCAD models
- Classification of aerial photos w/ decision models
- Keyword search app indexing 52k transcripts
- etc.
If you can work with AI to create things like this, apply by DMing me an example of something awesome you built in the last month.
In this role, you'll work with me to increase the frequency and ambition of these showcases.
Contract work, 20+ hours/week (ideally 40) on your own schedule, remote, within 3 hours of pacific timezone.
Super Dario retweeted
OpenAI’s red-teaming agents found ways to exploit OpenAI’s own sandboxing infrastructure to communicate with agents on separate VMs without a network connection, using a read/write timing difference in processor cache to do so while bypassing sandbox limits
Over the past several months, we have substantially hardened the security of our research training environment. We’ve removed live internet access for all frontier models during training and built an offline world for them to use instead—a cached version of the web where they can still learn to browse, search, and use applications.
On September 20, after a model exploited a DNS misconfiguration to find a way outside of this offline world, we paused frontier training to strengthen containment further. We assembled teams of agents, powered by our most cyber-capable models, and tasked them with finding weaknesses in our research environments.
While they found no route to the internet they could easily exploit while concealing their activity from our monitors, they did find zero-day vulnerabilities, virtual machine escapes, and hardware side-channels for communication between agents. We used their discoveries to further strengthen our defenses and contribute fixes to open-source software.
After strengthening our containment architecture, we resumed our frontier RL training and inference on October 1. We’ve reserved substantial compute for continuous red-teaming, and made high-compute red-teaming part of the safety cases we use to decide whether frontier training and evaluation can proceed securely.
openai.com/index/securing-ou…
Super Dario retweeted
OpenAI red-teamed their hardened containment infrastructure by asking teams of frontier-model agents to try to break through its defenses. They easily escaped in novel ways. Quoting:
'Our agents VM escapes showed why containment must extend beyond the sandbox. To test the surrounding perimeter, we gave teams of agents control of a host machine and asked whether they could extend that compromise to reach the live internet.
After the Hugging Face incident, we had reduced the channels through which models could reach the internet during training and evaluation. Narrow connections remained for specific services we operate, such as metrics, logging, and authentication management. Our red-teaming agents found vulnerabilities in almost every one of these services that gave them limited forms of internet access.
Some of these attacks exploited previously unknown flaws, while others combined legitimate features in unexpected ways. In one test that assumed compromise of a VM, an agent reused a firewall-approved connection to reach a blocked authentication endpoint in our metrics service and then made that endpoint fetch a model-provided URL. In other tests, agents exploited misconfigurations that allowed blocked requests to pass through DNS and firewall controls, as well as ways to make services we run fetch external URLs.'
'In one experiment, we asked agents in separate VMs, created and managed by OpenAI’s sandboxing software on shared host machines, to exchange synthetic secrets without the use of network connections or shared writable files—something that our systems are meant to prevent. The agents found a way to communicate using the processor’s cache: a small, fast memory that holds copies of data that applications have recently accessed. Reading data from the cache is faster than retrieving it from main memory, and the agents used this timing difference to communicate. One agent encoded information by evicting selected data from the cache. Another timed how long it took to reload that data, using the difference between fast and slow reads to recover the message. Once the agents agreed on a protocol for encoding and decoding these signals, they could exchange the synthetic secrets without changing a shared file or opening a network connection. This cache-timing technique had also been used to extract information in the Spectre and Meltdown attacks(opens in a new window).
Other tests exposed channels involving shared storage, competition for CPU time within a shared execution container, and a TLS certificate cache in OpenAI’s offline web infrastructure. In the storage test, one agent alternated between continuous writes and inactivity, while another measured the resulting timing differences and used those differences to decode the signal. As one agent described the strategy in its chain of thought:
Agent chain-of-thought reasoning:
>Could create acoustic modem-like signal … using continuous writes vs idle.'
Super Dario retweeted
Kimi K3.1 Pro benchmarks are here, it is the best open-weight model in the world.
Probably nothing
Replying to @Suhail
I’ve heard several OAI people say there are unfixable bugs in hardware that are exploitable by AI models directly speaking machine code so even if we could solve software that’s not enough. We need defense to move faster than offense if that’s even possible we may just have a new normal that requires adapting to insecure software (bank transfers require going into a branch and taking a dna test 🤣😬)
Super Dario retweeted
Computer now has more taste in building websites, thanks to @LexnLin’s open-source skill, now integrated inside. We’re giving 5000 credits per user to tinker around.
The Taste Skill by @LexnLin, now in Computer's skills marketplace, sets an art direction before Computer builds a website.
Layout and type draw on 247 sites from Awwwards and One Page Love.
Tasks that use /taste-skill are free through October 31, up to 5,000 credits per user.
Super Dario retweeted
About damn time.
Attackers do not hold the advantage forever. This will be a rough transitional period where Elden Software, crafted by faulty human minds, dies out. After that, a very different era begins.
New on our Frontier Red Team blog: using Claude to formally verify software at large scale.
Formal verification can prove that code is free of certain bugs, but historically it has only been feasible for small codebases (or required a lot of expert time).
With AI models, however, this is beginning to change. In collaboration with @theoremlabs, we used Claude to prove security properties in over one hundred real-world open-source libraries over the span of a few weeks.
Read our research in full here: anthropic.com/research/forma…
Super Dario retweeted
Jason is 100% right. Code red. 🚨
Super Dario retweeted
(Quite topical, of course note caveats!)
“Most software is riddled with bugs, which AI can now easily find and exploit. The standard defenses against cyberattacks are no longer sufficient: we need ways to prove that code is free of bugs. Formal software verification could provide this guarantee, but it has historically required years of expert effort, making it impractical for most real-world projects. In a collaboration with Theorem, however, we show this is no longer the case: LLMs can now produce formal proofs at large scale, enabling new software development workflows that include proven security guarantees. Using Claude, we proved security properties at the assembly code level (RISC-V) in over 100 real-world open-source software libraries. To our knowledge, this represents the first large-scale effort to use AI to apply formal verification to production software at the assembly code level.While writing the proofs, Claude also discovered bugs that had eluded detection for years, despite trillions of test runs. As model capabilities continue to improve, we expect formal verification to become an essential part of secure software development.”
New on our Frontier Red Team blog: using Claude to formally verify software at large scale.
Formal verification can prove that code is free of certain bugs, but historically it has only been feasible for small codebases (or required a lot of expert time).
With AI models, however, this is beginning to change. In collaboration with @theoremlabs, we used Claude to prove security properties in over one hundred real-world open-source libraries over the span of a few weeks.
Read our research in full here: anthropic.com/research/forma…
Super Dario retweeted
I actually think this cybersecurity stuff really does kill the pacing the frontier narrative. It should be absolutely clear to everyone how dangerous it is if the good guys don't stay ahead, and the bad guys aren't going to be pacing any frontier
Super Dario retweeted
These are scary times for the internet. I believe this is a beacon of hope.
I’m proud to have cowritten this with @AnthropicAI. We proved the absence of common bugs in production software, and I think this approach will scale.
One day, @theoremlabs will formally verify all critical software.
More in the thread, and the paper.
New on our Frontier Red Team blog: using Claude to formally verify software at large scale.
Formal verification can prove that code is free of certain bugs, but historically it has only been feasible for small codebases (or required a lot of expert time).
With AI models, however, this is beginning to change. In collaboration with @theoremlabs, we used Claude to prove security properties in over one hundred real-world open-source libraries over the span of a few weeks.
Read our research in full here: anthropic.com/research/forma…
Super Dario retweeted
New on our Frontier Red Team blog: using Claude to formally verify software at large scale.
Formal verification can prove that code is free of certain bugs, but historically it has only been feasible for small codebases (or required a lot of expert time).
With AI models, however, this is beginning to change. In collaboration with @theoremlabs, we used Claude to prove security properties in over one hundred real-world open-source libraries over the span of a few weeks.
Read our research in full here: anthropic.com/research/forma…
Super Dario retweeted
Replying to @BenHayum
If we succeed, this is what our Cyber Mission will do / help kick off anthropic.com/news/anthropic…
Like, I think it's possible we need a program serving O(100k-1M) defenders and then O(10k) engineers solo focused on working with critical infrastructure in the next ~18 months
Super Dario retweeted
THIS IS DISINFORMATION
The PHP exploit Nate is talking about was found by AI-enabled defensive operations. There is no evidence of large scale exploitation. This is a huge win for defense running ahead of offensive.
Super Dario retweeted
Replying to @RothRottweiler
vulnzero. the scaling laws will have driven cyber mythos-class capabilities into small, cheap models and all software dev everywhere will be using models for fractions of pennies on the dollar to stop shipping security bugs permanently.
Super Dario retweeted
ANTHROPIC's DEPUTY CHIEF INFORMATION SECURITY OFFICER: "as bad as things have gotten in the past 4 days, they are going to get a lot worse before they get better."
Super Dario retweeted
JENSEN RESPONDS TO CONCERNS AROUND NEOCLOUD FINANCING:
"Everything else will get solved when demand is high. You can't solve the absence of demand. But when demand is high, everything else will get taken care of. I am quite confident that they will find solutions. Their solution starts with the fact that they have excellent customers. Demand is really high and they just need working capital, and working capital will come.”
$NBIS $CRWV $IREN $CIFR $APLD

































