Polyhedra Show: Why is Verifiable AI Important ?

Can we trust AI — and how can we prove it?