3 ms·

I like more the Lychrel problem (196). I think it is somehow connected to halting problem, and is not provable.