Is Mathematical Insight Algorithmic?