Est-ce qu'il est maintenant plus facile de prouver la conjecture de Syracuse (Collatz)?