Mathematicians spend most of their time interpolating between known ideas and it would be extremely helpful to have computer assistance with that.