高校レベルの問題なら、自動的に解いてくれるプログラムが完成したよ！もちろん、定理の証明も可。

問題を入力すると、その問題を２ちゃんやYahoo!やOKWaveとかの質問スレに自動的に書き込んで、結果を読み込んで戻ってくる。
そういう掲示板だけでなく、あらかじめ指定したアドレスへ質問メールを出して、返答を受けることも可能。
これで殆ど解決。

でも最近、回答の精度が落ちてるんだよなあ。「マルチポストはヤメレ」「質問ばかりするな」なんていう意味のない回答が良く来るようになった。
どうしてこうなったんだろう。プログラムのミスかなあ。
この辺をどう解決するかが今後の課題。