And here is the site of the research group involved. https://www.helsinki.fi/en/researchgroups/godel-enigma