“最も大きい素数”更新　「2^1億3627万9841-1」元NVIDIA社員が発見　文字に起こすと4000万字超え【訂正あり】（関連情報）