Jacob Tsimerman, kanadischer Mathematiker und neuer Fields-Medaillen-Träger, hat die Gründung des Mathematical A.I. Safety Institute (MAISI) bekannt gegeben. Das Institut soll KI-Sicherheit nicht empirisch, sondern durch rigorose mathematische Verfahren adressieren – ein Ansatz, der KI-Trustworthiness auf fundamentalem Level verankern könnte. Die Initiative verbindet erstmals Spitzen-Mathematik mit drängendem KI-Sicherheitsanliegen und signalisiert einen Paradigmenwechsel: weg von Black-Box-Tests hin zu beweis-basierten Garantien. Das ist relevant für die ganze Debatte um vertrauenswürdige KI-Systeme in kritischen Anwendungen.
