Jacob Tsimerman Founds MAISI to Seek Cryptographic Rigor in AI Safety

Mathematician Jacob Tsimerman has announced the launch of the Mathematical A.I. Safety Institute (MAISI), an organization aiming to bring formal mathematical rigor to machine learning safety. Instead of relying purely on empirical evaluations and post-hoc red-teaming, the institute intends to borrow methods from cryptography to construct verifiable proofs of system behavior, exploring whether alignment can be guaranteed from foundational principles.