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.