数学にはアルゴリズムをきれいに記述する術が無いだろう。
アルゴリズムを数学的に論じれない以上、数学は唯の道具でしかない。

リーマン予想を解決するのはおそらく情報科学ヲタの方だろうな。