alreadydone

Latest update here: https://www.math.columbia.edu/~woit/wordpress/?p=13895 Unfortunately it seems Mochizuki and Scholze reached consensus that a part of Joshi's argument cannot possibly work.

I think TTT stands for "tangled type theory".

Could the chromatic number be less than 4 (for some or all hat/turtle/spectre tilings)? Note that for the lattice tilings by squares and equilateral triangles the chromatic number is 2, while for the tiling by regular hexagons it is 3. ZeroRogue has drawn dual graphs of hat tilings https://twitter.com/ZenoRogue/status/1639644061823819777 so you can just try to color them.

Thanks! arXiv Vanity fails on this one: https://arxiv-vanity.com/papers/2305.17743

I hope these tables help: https://twitter.com/Junyan_Xu/status/1663396061942038530

My eventual solutions to lvl 5,6,7 are hilariously easy; you can find them at https://gist.github.com/alreadydone/579138f2692f439c56646052... In similar spirit as these techniques: https://news.ycombinator.com/item?id=35913960

You could give this a try: https://www.aomni.com/