Good news! They solved the 123 conjecture. I can't believe I missed it: