We give a fairly complete account which first shows that the solution to the inner model problem for one supercompact cardinal will yield an ultimate version of L and then shows that the various current approaches to inner model theory must be fundamentally altered to provide that solution.
No takes yet. Share an insight, caveat, or question.
W. Hugh Woodin (2017) studied this question.
Synapse has enriched one closely related paper. Consider it for comparative context: