The Continuum Hypothesis is still an open question in
foundational mathematical theories that are more powerful
than 1st-order ZFC such as the theory Ordinals.
See the following:
https://papers.ssrn.com/abstract=3457802
Someday, the Continuum Hypothesis might be proved or it
might be disproved in foundational theories.