Is String Theory Proven