Elusive ‘Einstein’ Solves a Longstanding Math Problem

Cool! Is this the same aperiodic tiling problem Fraa Jad solved in (Neal Stephenson's) Anathem?

Original paper: https://arxiv.org/abs/2303.10798