数学者も恐れる難問「コラッツ予想」証明できたら1億2000万円