Проверяемое исполнение может стать определяющей чертой ИИ следующего поколения.