Reading up on Geoffrey Irving
1 deep · digging since sep 09
- Mathematical AI Safety Institute
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.