# Does $V = \textit{Ultimate }L$ imply GCH?

In his Midrasha Mathematicae lectures ("In Search of Ultimate $L$", BSL 23 [2017]: 1–109), Woodin notes that $V = \textit{Ultimate }L$ implies $\textrm{CH}$ (Theorem 7.26, p.103). Is it known whether $V = \textit{Ultimate }L$ implies $\textrm{GCH}$?

During this year's conferene on inner model theory in Münster, Gabriel Goldberg proved that the so-called Ultrapower Axiom implies that $\mathrm{GCH}$ holds above a supercompact cardinal (and since then lowered the bound to a strongly compact cardinal). It seems very likely (it might even be known) that $\mathrm{Ultimate } \ L$ satisfies this requirement. Hence, given enough large cardinals, it will satisfy $\mathrm{GCH}$ at least on a tail end.