>>53
＞やってることは桁数の多い計算と莫大なデータベースであって新しい理論や定義、定理を導いてる

病気の治療法をとんでもない方法を組み合わせて作った、というのはあったなあ

定理を作るのはどうだろうね
解くのは出来るかも知れんが、これは重要そうだ！という定理を作るのは色々と数学書の各種定理を読み込ませないといかんなあ

この分野にこういう定理があるのにこの分野に同様の定理が無いのはおかしい！類似するものは出来ないか？
みたいなのを引っ張り出せないかなあ？