[math-fun] Mersenne conjecture solved?