I have recently discovered that the Hungarian philosopher Imre Lakatos, famous for his view on the philsophy of science, also presented some interesting views on mathematics. According to his Wikipedia page (https://en.wikipedia.org/wiki/Imre_Lakatos#Philosophy_of_mathematics), he believed the mathematical community to possess an almost dialectic ability to assess the validity of proofs and "therefore, he fundamentally disagreed with the "formalist" conception of proof prevailed in Frege's and Russell's logicism,". It goes on to say that his views were frowned upon by his contemporaries. It made me think about this article from Quanta Magazine: https://www.quantamagazine.org/why-the-proof-of-fermats-last-theorem-doesnt-need-to-be-enhanced-20190603/, about mathematicians scrutinizing Wiles' proof of Fermat's Last Theorem. In the article, they claim that "In philosophy of mathematics it’s customary to treat a published proof as an approximation of an ideal formalized proof, capable in principle of being verified by a computer applying the rules of the formal system." It therefore seems that Lakatos' views were discarded for good.
My question is if anyone here knows about any other philosophers or thinkers interested in the philosophy of mathematics who have shared Lakatos' views or something similar. I do not intend to start a debate about his views. I simply want to see if others have shared Lakatos' views since I personally do not know of any such thinker, and if so, maybe get som recommandations about interesting reading material on the topic.