クレイだっけ？リーマン予想証明プロジェクトやって失敗したのは
その辺のソフトウェアとは訳が違うんだよ数学は