We’re done! Solid submissions are in for all 261 cases and verifiers are working through the backlog.
— Matt Parker (@standupmaths) May 15, 2021
AND Moritz Firsching has now written code showing all 261 unfoldings do definitely tile space. https://t.co/rOFsOCqJak
So this project has proven the result twice over!