>>554
数学者個人では未解決問題の完全解決を承認するのは大変な事だから、MSPで最終的に
正否を判断するということではないのでしょうか?