Wenn KI von der Cloud in die physische Welt (Fahrzeuge, Roboter, Infrastruktur, Verteidigungssysteme) übergeht, steigen die Kosten für Fehler dramatisch. In diesen Umgebungen ist "wir haben es getestet" nicht ausreichend. Systeme müssen in der Lage sein, nachzuweisen, was sie getan haben, wie sie es getan haben und nach welchen Regeln. Deshalb sind wir Vorreiter für verifizierbare KI in großem Maßstab.