「P=NPであることが証明された」としても、素因数分解を
多項式時間で解くためのアルゴリズム」が「存在すること」が
証明されただけで、具体的にどんな方法なのか分からなければ
意味無いよね。

ひょっとしたら宇宙が終わるまで頑張っても発見困難なくらいの
超絶複雑なアルゴリズムかも知れない。