今はまだスパコンより早く解ける問題はあるけど現実で役立てるもんがあんまないからみんなで探そうって状態やな