Xiaomi möchte innerhalb von fünf Jahren Humanoiden in seinen Fabriken einsetzen. Industrielle Autonomie in diesem Maßstab erfordert kryptografische Verantwortlichkeit. Fabriken sind Umgebungen mit hohen Einsätzen. Verifizierbare KI wird den Unterschied zwischen sicherer Automatisierung und neuem systemischen Risiko ausmachen.