The projects below show the field-strategy approach in practice, including work originally undertaken at Atlas: take a consequential AI risk that’s fallen between institutions, shape and de-risk an intervention with stakeholder and subject-matter expert input, and hand it to someone ready to run it. And then we move on to the next one.
Atlas identified that no approaches to formal verification were heavily betting on AI systems improving, and made the case to Jason Gross 
Jason Gross Theorem Labs LinkedIn that the bet was worth making. [read about the work]
Today, Jason leads Theorem Labs, pioneering AI-first approaches to formally verifying software.
Atlas identified the need for tamper-response systems to protect AI hardware, and made the case to Mehmet Sencan 
Mehmet Sencan CEO, EARENDIL LinkedIn that he was the one to build them.
Today, Mehmet leads Earendil, which develops scalable, safe backstops for AI compute security.
Atlas identified specification validation as a critical bottleneck for scalable oversight of AI, and made the case to Mike Dodds 
Mike Dodds Oath Technologies LinkedIn that better tools were worth building.
Today, Mike runs Oath Technologies, a Focused Research Organization building the specification tools and processes that make scalable oversight of AI possible.
We’re currently funded to focus on interventions around:
Preventing the specific, foreseeable catastrophic scenarios identified in this blog post.
Securing datacenters, infrastructure providers, and other cybersystems from falling victim to current and near-term AI offensive abilities.
Protecting humans’ ability to access and evaluate the trustworthiness of information, and safeguarding the integrity of our decision-making processes.
If it’s neglected, society-scale, and you can describe what a win looks like, come talk to us. We’re always interested in expanding our efforts to increase societal impact.
Start a conversationAtlas is a non-profit organization. Send a risk, bring your skills, or fund the work.
Some funders come to Atlas with a concern: cyber-resilience, information integrity, or another AI risk no one clearly owns. Atlas maps concern to a concrete intervention: scoped, tested, and ready for the right owner.
Apply to join Atlas full-time as a Field Strategist or support an existing effort. Atlas needs people who can scope problems, pressure-test plans, and convene the stakeholders who make a fix real.
Tell us about a society-scale AI risk where the owner is missing. What’s the clearly desirable outcome that needs Atlas to find a path forward?
