数学がコンピュータにできるようになるなんて夢のような話を言ってる馬鹿がいるスレはここですか？

コンピュータができるのは計算。
コンピュータにに新しい数学が作り出せないのは、
別の表現で、ゲーデルとチューリングが既に証明しています。