Kurt Gödel’s universe is also the solution of the third problem which was sent to Constantin Carathéodory by Albert Einstein in 1916.

See for example : lygeros.org/2781-gr/

Response to Massimo on X