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