User blog comment:LittlePeng9/Random Turing machines/@comment-5150073-20130515154603/@comment-1605058-20130515181414

And it checks 3 forever! Does machine halt? No, so ternary Goldbach conjecture is true!

It's a joke I made to celebrate plausible proof of this conjecture. I changed one transition in binary Goldbach conjecture checker and added lot of irrelevant states to make it look like broken machine :P