Theorem — Verified Software Stack
A research and engineering effort working toward a shared, formally verified software stack built up from its smallest pieces, starting with verified sandboxes that AI agents cannot escape or game.
Visit theorem.devKey programs
Program details are still being written up. In the meantime, the site itself is the best starting point.
Similar organizations
Recommended next
Hand-picked from the hub based on what Theorem — Verified Software Stack covers.
Partnership on AI — resource library
Partnership on AI's open library of guidance, frameworks, and case studies on responsible AI: synthetic media, labor and the economy, AI safety, fairness, and inclusive AI development.
Why this: Also about AI safety
UC Berkeley Center for Human-Compatible AI (CHAI)
This university research center focuses on creating safe and beneficial artificial intelligence. You can read published research papers, follow recent news and blog updates, and explore opportunities to work with their team.
Why this: Also about AI safety
Yoshua Bengio
Deep learning pioneer and Turing Award winner, now focused on AI risk. His site holds papers, talks and written positions; his Google Scholar list has the full publication record, most-cited first.
Why this: Also about AI safety
NIST AI Consortium Members
The National Institute of Standards and Technology's alphabetical list of member organizations in its AI consortium, ranging from AI labs such as Anthropic and Cohere to universities, safety research groups, civil-society organizations and companies across industries.
Why this: Also about AI safety