Has String Theory Been Solved