コラッツ予想を解くと500ドルもらえるらしい