Viewing profile — 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 pos…

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 …

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:…

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