＞体系が単純で簡単な証明なら総当り式でできるでしょう。

できると言うのであれば、実際にアルゴリズムを作って実証すべき。
できないことは論理的に示されている。

＞＞ お断りします。そんな作業に、私は価値を認めません。
＞10年もかけてつくったプログラムなど信用するのがおかしい。

私はそのプログラムを信用していない。だから、「価値を認めない」
と言っているのだ。

＞300年かけてバグとりしてください

こんな無理難題が実現可能と思いますか？
現実を見てください。