The difference is that if $X$ is compact, every collection of closed sets with the finite intersection property has a non-empty intersection; if $x$ is only countably compact, this is guaranteed only for countable collections of closed sets with the finite intersection property. In a countably compact space that is not compact, there will be some uncountable collection of closed sets that has the finite intersection property but also has empty intersection.
An example is the space $\omega_1$ of countable ordinals with the order topology. For each $\xi<\omega_1$ let $F_\xi=\{\alpha<\omega_1:\xi\le\alpha\}=[\xi,\omega_1)$, and let $\mathscr{F}=\{F_\xi:\xi<\omega_1\}$. $\mathscr{F}$ is a nested family: if $\xi<\eta<\omega_1$, then $F_\xi\supsetneqq F_\eta$. Thus, it certainly has the finite intersection property: if $\{F_{\xi_0},F_{\xi_1},\dots,F_{\xi_n}\}$ is any finite subcollection of $\mathscr{F}$, and $\xi_0<\xi_1<\ldots<\xi_n$, then $F_{\xi_0}\cap F_{\xi_1}\cap\ldots\cap F_{\xi_n}=F_{\xi_n}\ne\varnothing$. But $\bigcap\mathscr{F}=\varnothing$, because for each $\xi<\omega_1$ we have $\xi\notin F_{\xi+1}$. This space is a standard example of a countably compact space that it not compact.
Added: Note that neither of them says:
Given a collection of closed sets, when a finite number of them has a nonempty intersection, all of them have a nonempty intersection.
The finite intersection property is not that some finite number of the sets has non-empty intersection: it says that every finite subfamily has non-empty intersection. Consider, for instance, the sets $\{0,1\},\{1,2\}$, and $\{0,2\}$: every two of them have non-empty intersection, but the intersection of all three is empty. This little collection of sets does not have the finite intersection property.
Here is perhaps a better way to think of these results. In a compact space, if you have a collection $\mathscr{C}$ of closed sets whose intersection $\bigcap\mathscr{C}$ is empty, then some finite subcollection of $\mathscr{C}$ already has empty intersection: there is some positive integer $n$, and there are some $C_1,\dots,C_n\in\mathscr{C}$ such that $C_1\cap\ldots\cap C_n=\varnothing$. In a countably compact space something similar but weaker is true: if you have a countable collection $\mathscr{C}$ of closed sets whose intersection $\bigcap\mathscr{C}$ is empty, then some finite subcollection of $\mathscr{C}$ already has empty intersection. In a countably compact space you can’t in general say anything about uncountable collections of closed sets with empty intersection.
For the reverse direction I would recommend arguing by contrapositive.
Claim: If $X$ is not compact, then there exists a family of closed sets $\{U_{\alpha}\}_{\alpha \in I}$ that is closed under finite intersections, such that $\bigcap\limits_{\alpha\in I} U_{\alpha} = \varnothing.$
Proof: Suppose $X$ is not compact. Then, there exists an open cover $\{V_{\alpha}\}_{\alpha \in I}$ for $X$ which does not admit a finite subcover. We will assume without loss of generality that for all $\alpha \in I$, $V_{\alpha} \neq \varnothing$. As such, we may for all $\alpha \in I$ define $V_{\alpha} = U_{\alpha}^{C}$ so that $\mathscr{G}=\{U_{\alpha}\}_{\alpha \in I} \subseteq \mathscr{P}(X)$ is a family of nonempty, closed sets. Fix a finite subset $J \subset I$. Since $\{V_{\alpha}\}_{\alpha \in I}$ does not admit a finite subcover,
$$\varnothing \neq \bigcup\limits_{\alpha \in J} V_{\alpha} \subset X \implies \varnothing \neq \bigg(\bigcup\limits_{\alpha \in J} V_{\alpha}\bigg)^{C} \subset X. $$
But from our definition of $\{U_{\alpha}\}_{\alpha \in I}$ and de Morgan's Law, it follows that
$$\bigcap\limits_{\alpha \in J}U_{\alpha}=\bigcap\limits_{\alpha\in J}V_{\alpha}^{C}=\bigg(\bigcup\limits_{\alpha \in J} V_{\alpha}\bigg)^{C} \neq \varnothing.$$
Since $J \subset I$ was an arbitrary finite set, we conclude that $\{U_{\alpha}\}_{\alpha \in I}$ has the finite intersection property. Now constructing the set
$$\mathscr{A}:=\{J \in \mathscr{P}(I):\textrm{J finite}\}$$ and letting $I'$ be an indexing set for $\mathscr{A}$ so that $\mathscr{A}=\{J_{\beta}\}_{\beta \in I'}$, we in turn construct the family of sets $\mathscr{H}=\{W_{\beta}\}_{\beta \in I'}$ such that for each $\beta \in I'$, $W_{\beta}=\bigcap\limits_{\alpha \in J_{\beta}}U_{\alpha}$. Further defining $\mathscr{I}=I \cup I'$, and $\mathscr{F}=\mathscr{G} \cup \mathscr{H}$, we see that $\mathscr{F} =\{K_{\alpha}\}_{\alpha \in \mathscr{I}}\subseteq \mathscr{P}(X)$ is a family of closed sets which is closed under finite intersections, with $$\bigcap\limits_{\alpha \in \mathscr{I}}K_{\alpha}=\bigcap\limits_{\alpha \in I}U_{\alpha}.$$
However, since the $\{V_{\alpha}\}_{\alpha \in I}$ are an open cover for $X$ by assumption, we may again invoke the definition of $\{U_{\alpha}\}_{\alpha \in I}$ to show that
$$\bigcap\limits_{\alpha \in \mathscr{I}}K_{\alpha}=\bigcap_{\alpha \in I}U_{\alpha}=\bigcap_{\alpha \in I}V_{\alpha}^{C}=\bigg(\bigcup\limits_{\alpha \in I} V_{\alpha}\bigg)^{C} =X^{C}=\varnothing,$$
which is what we promised to show.
Regards!
-Dan
Best Answer
The more general fact is true. If $(C_\alpha)_{\alpha\in I}$ is a collection of closed subsets with finite intersection property, then all these subsets have a common point.
Assume $\cap_{\alpha\in I}C_\alpha=\varnothing$, then for open subsets of $C$ which we denote $U_\alpha=C\setminus C_\alpha$ we have $\cup_{\alpha\in I}U_\alpha=C$. Since $C$ is compact, we have finite collection $\{\alpha_1,\ldots,\alpha_n\}\subset I$ such that $C=U_{\alpha_1}\cup\ldots\cup U_{\alpha_n}$. Taking complements we get that $C_{\alpha_1}\cap\ldots C_{\alpha_n}=\varnothing$. Contradiction, so $\cap_{\alpha\in I}C_\alpha\neq\varnothing$