The Mathematical AI Safety Institute wants to prove AI is safe the way cryptographers prove codes are unbreakable
Fields Medalist launches mathematical institute to prove AI safety the way cryptographers verify security—a bet that rigor can replace empiricism.
Why it matters
A new research institute is attempting to bring mathematical proof techniques from cryptography into AI safety evaluation. This could reshape how frontier labs validate model behavior and trustworthiness claims.
The key facts
7 to knowJacob Tsimerman (Fields Medal recipient) founding Mathematical AI Safety Institute (MAISI)
Approach: apply cryptographic proof methods to AI safety verification
Brings mathematical rigor to a field dominated by empirical benchmarking and testing
Announced September 2026
Approach: borrowing cryptographic proof methods to formalize AI safety
Canadian mathematician leading initiative
Focus on provable guarantees rather than empirical-only safety evaluation
Go to the source
The Decoderthe-decoder.com
Publisher excerpt: Canadian mathematician Jacob Tsimerman, a fresh Fields Medal recipient, has announced the founding of the Mathematical A.I. Safety Institute (MAISI).