After proving that not all statements in mathematics can be proven or disproven from the accepted ZFC axioms, Gödel raised the question whether natural statements, such as Cantor’s continuum hypothesis, can be decided via extending the axiomatic framework by axioms of large infinities. While this question has been answered in the negative, the problem of finding good axioms that decide natural mathematical statements remains open. There is a compelling candidate for an axiom that could solve Gödel’s problem: V = Ultimate L. We motivate and describe this candidate together with strong evidence provided by recent advances in Set Theory indicating that it is indeed the likely candidate Gödel was aiming for.