Dowód jako wbudowana cecha:
Następuje zmiana: wyniki AI stają się weryfikowalnymi roszczeniami. Zamiast ostatecznych odpowiedzi, odpowiedzi przekształcają się w propozycje, które można sprawdzić. Ten mały wybór projektowy zmienia sposób, w jaki autonomiczne systemy działają na dużą skalę.