
Develops formal, safe-by-design foundations for superintelligence, including precise safety objectives, mechanisms with analyzable guarantees, and proofs of concept that frontier AI developers can evaluate and adopt.
Current members 1
Mentioned in updates 1
Based on public sources. If accuracy is important, verify details using the links or references.
For corrections, updates, or requests to remove information, contact us.
Reviewed August 31, 2026 · Checked for accuracy and new information.



