[math-fun] possible new Mersenne prime