As you may know, many mathematicians turned philosophers while trying to do work on the foundations of mathematics. It seems like logic was the gateway discipline. What we now know as the analytic turn in philosophy of early 20th century came from such as lineage before it devolved into philosophy of language. Frege, Russel, Whitehead, and Wittgenstein are well known in this line of thought. However, the history of philosophy and mathematics goes way back to pre-socratic philosophers like Pythagoras and centuries later Aquinas and then Descartes. The question posed is rather strange given that mathematical development has often been formed by philosophical thought. I guess by clarifying the author means providing solutions (since he/she mentions that "mathematical insight" is nowhere to be found in the literature)? Since philosophy is not the same as doing mathematics the only kinds of clarification that philosophy will provide is in terms of distinctions, definitions and criteria: what is a proof, etc. This is because 'philosophy of x' is always meta discipline.