ABC予想に対するモデルって訳じゃないんだろ?
もっと簡単な問題についてモデル使って解くサンプルみたいなの無いのか?