The A.I. Daily
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.