Основные проблемы останутся: доказательство, истинность, понимание, объяснение, адекватность, реализуемость.