山下氏のサーベイp.3, Cor 0.2によると「すべて互いに素」と「ほとんど全てのa, b, c」っていう
仮定がついてるから弱abc予想も完全には解けてないみたいですね