Fields Medalist founds Mathematical AI Safety Institute to prove AI safe like cryptography
The Decoder · rss · 2026-09-11
Canadian mathematician and fresh Fields Medal recipient Jacob Tsimerman has announced the founding of the Mathematical A.I. Safety Institute (MAISI).
The approach borrows from cryptography: just as cryptographers prove codes unbreakable with mathematical rigor, MAISI aims to prove AI systems safe via formal mathematical methods rather than empirical evaluation alone — a notable new institutional bet on the formal-proofs route in AI safety research.
More from Safety
- Novosad backs Hassabis' AI safety institution-building over kneecapping US labs — paulnovosad · 2026-09-11
- Economist argues safe AGI comes from engineers inside big labs, not regulation — paulnovosad · 2026-09-11
- LLM-driven attacks mostly follow Pentesting 101: traditional defenses still work — AccBalanced · 2026-09-11
- Op-ed: the ">10% extinction" narrative is liability evasion — AI is just software, and the vendor is the defendant — gerardsans · 2026-09-11
- GreyNoise reveals campaign run by hundreds of AI agents against PaperCut NG/MF — AccBalanced · 2026-09-11
- Economist Warns US Collective Action Could 'Regulate AI Progress Out of Existence' — paulnovosad · 2026-09-11