Mathematical AI Safety Institute Founded

Fields Medalist Jacob Tsimerman announced the founding of the Mathematical A.I. Safety Institute (MAISI), aiming to apply cryptography-style formal proofs to verify AI safety.