Верифікованість – це майбутнє штучного інтелекту