Mathematical AI Safety Institute
kept by devopsfolk
The article describes the newly launched Mathematical AI Safety Institute, a nonprofit seeking mathematicians to build rigorous mathematical foundations for AI safety and existential risk mitigation.