Progress in M‐Theory