Saul Kripke is a nice example here. He did mathematics and philosophy.

His later philosophical work (Kripkenstein) had a wider scope and was less mathematical.

(maybe Wittgenstein fits as well: from the (simple minded) mathematical Tractatus to Language Games)

Wittgenstein's or Kripke's later "explicit understanding" did not fail, it's just not as well defined as mathematics.