“ABC予想証明”の欠陥発見に賞金1.4億円　ドワンゴ創業者の川上さんが設置（関連情報）