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

数学の未解決問題「ABC予想」の命題

松浦立樹，ITmedia