Der Fokus auf Verifizierung hebt diesen Ansatz von vielen anderen KI-Projekten ab.