「ABC予想」の証明理論、欠陥見つけたら賞金100万ドル…ドワンゴ創業者の私費で