I have made public a computer-assisted proof artifact that improves the known OBTM upper bound for the 4x4x4 Rubik’s Cube from 55 to 54:
https://github.com/AnanasClassic/4x4x4-obtm-54-research
The new exact result is that phases 1 and 2 of the three-phase decomposition can always be completed...
