BB(3, 4) > 10↑↑2048

[Shawn Ligocki]

Pavel Kropitz found a 3-state, 4-symbol TM which scores > 10↑↑2048! He originally shared it on the bbchallenge.com DIscord on 5 May 2023. I have written up an analysis which turned out to be pleasingly simple:

https://www.sligocki.com/2023/05/17/bb-3-4-t2048.html

This TM is tantalizingly close to a "pentation-level" TM (a TM that would score > 10↑↑↑n), so my guess is that there is one like this in the 3x4 (or 4x3) domains!