研究レベルの数学問題を解くなら、どのモデルを使いますか？

研究レベルの数学の問題で行き詰まっている場合、アイデアを出すために頼れるようなローカルのモデルはありますか？

実際に成功した事例の例に、特に興味があります。