2013年1月25日に新たなメルセンヌ素数(2の57,885,161乗-1)が発見される