You might have heard that Preda Mihailescu claimed a proof of Leopoldt’s conjecture earlier this year. He just gave a series of lectures on the paper at Cambridge, and Minhyong Kim was there to blog about it. Mihailescu has provided an “executive summary” of the argument.
[...] Jordan Ellenberg, there’s news of a claimed proof of Leopoldt’s conjecture, with details available at a [...]