Is string theory proven?