“Turning orphaned risks from AI into de-risked, fundable interventions”In its own words: atlascomputing.org
Nonprofit working to turn neglected AI risks into fundable interventions, including formal-methods and specification-based AI oversight; its work now continues as Atlas Ignota, housed under Convergent Research.
Show detailsHide details
Received $4M from 3 funders
’24
’25
’26
Checked 26 Oct 2026
Money flows
Where its money came from and where it went. Pick years and what to show; hover a box or ribbon for details, click one to focus it, click the background to see everything.
Funded by
All grants
4 grants totalling $4M, newest first.
2026 1 grant · $2.8M
| Date | Funder | Amount | Purpose |
|---|---|---|---|
| 30 Sep 2026 | Survival and Flourishing Fund | $2.8M | SFF-2026 Main Round: General support of Atlas Computing source |
2025 2 grants · $470k
| Date | Funder | Amount | Purpose |
|---|---|---|---|
| Jun 2025 | Coefficient Giving | $100k | Research Exploration source |
| 11 Feb 2025 | Science of Trustworthy AI | ~$370k | Science of Trustworthy AI — AI Safety Science (Feb 2025 cohort): Atlas Computing. Project: Formal Verification of Software. One of 27 AI Safety Science awards; per-project amount undisclosed. — Science of Trustworthy AI — AI Safety Science (Feb 2025 cohort) source |
2024 1 grant · $795k
| Date | Funder | Amount | Purpose |
|---|---|---|---|
| 21 Feb 2024 | Survival and Flourishing Fund | $795k | SFF speculation grant: General support for Atlas Computing Institute; receiving charity Metagovernance Project source |