In 2009 Mihailescu published a proof of the famous Leopoldt conjecture on the arxiv. Later on, in 2011, he published a 'lightweight' version that proves the conjecture for CM fields. Also compare
Is the Leopoldt conjecture almost always true?
But as far as I can see from MathSciNet, none of his papers has been published in any math journal. So here are my questions:
Has anybody information if Mihailescu intends to get his proof printed in some math journal or if it's destined solely to the arxiv (like Perelman has done) ?
In his obituary for Leopoldt from 10.01.2012, Roquette mentions in a footnote, "recently Mihailescu has announced a proof of Leopoldt's conjecture for all number fields". Is this a new announcement or refers Roquette to Mihailescu's 2009 paper ?
What's the current status of the Leopoldt conjecture ?