Größere Modelle ≠ mehr Vertrauen. Tatsächlich erschweren größere Modelle die Verifizierung. Neue Architekturen + verteilte Beweisführung machen verifizierbare Inferenz sogar für produktionsreife Vision-Modelle möglich.