Atlas Computing — Research Exploration

[Global Catastrophic Risks Capacity Building] Open Philanthropy recommended a grant of $100,000 to Atlas Computing to support its exploration of various topics in technical AI safety, including the development of concrete project proposals for potential future funding. Atlas Computing is a research and development nonprofit investigating the potential of formal specifications for steering future AI models. This falls within our focus area of Global Catastrophic Risks Capacity Building.