String theory is usually formulated with perturbation theory around a fixed background. While it is possible that the theory defined this way is locally background-invariant, if so, it is not manifest, and it is not clear what the exact meaning is. One attempt to formulate string theory in a manifestly background-independent fashion is string field theory, but little progress has been made in understanding it.