Non-perturbative string theory from AdS/CFT