اتوماتا و سوپرچین: ماشین‌های قابل راستی‌آزمایی، اعتماد در هوش مصنوعی را بازتعریف می‌کنند