The Mathematical AI Safety Institute wants to prove AI is safe the way cryptographers prove codes are unbreakable
Fields Medalist Jacob Tsimerman founds the Mathematical AI Safety Institute (MAISI) to pursue provable AI safety guarantees, launching January 2027.
Canadian mathematician and new Fields Medal recipient Jacob Tsimerman announced the Mathematical A.I. Safety Institute (MAISI), an independent Bay Area institute that will begin work in January 2027 with 10-30 mathematicians. Tsimerman is also joining OpenAI's safety team and argues AI needs a much higher safety standard. MAISI aims to formalize what safety means, prove multi-agent systems avoid unwanted outcomes, and explore tools like zero-knowledge proofs that let labs demonstrate correctness without exposing trade secrets.
42