Two years ago, Joel Friedman submitted a paper purporting to prove the Hanna Neumann Conjecture, which eventually turned out to contain a fatal bug and was withdrawn. Quite recently, Friedman repeated his attempt at proof with paper "Sheaves on Graphs and a Proof of the Hanna Neumann Conjecture": http://arxiv.org/abs/1105.0129 . Has this attempt been verified by anyone or is still under review?
closed as off topic by Gerald Edgar, Qiaochu Yuan, Noah Snyder, Kevin Buzzard, Mark Sapir Jun 5 '11 at 12:08
Questions on MathOverflow are expected to relate to research level mathematics within the scope defined by the community. Consider editing the question or leaving comments for improvement if you believe the question can be reworded to fit within the scope. Read more about reopening questions here. If this question can be reworded to fit the rules in the help center, please edit the question.

2$\begingroup$ Is MO the right place for this kind of discussion? $\endgroup$ – Alain Valette Jun 3 '11 at 15:30

3$\begingroup$ I don't think it is appropriate to discuss such things here, and I believe there was a meta discussion to that effect when people started posting questions about Deolalikar's paper. $\endgroup$ – Qiaochu Yuan Jun 3 '11 at 17:44

4$\begingroup$ My motivation for asking this question is: a) this is not a "high profile" problem as RH, Collatz or P/NP, so unlikely to attract much attention on blogs etc. (= hard to know, for me, what the community thinks of it), b) the technology used in the proof seems quite nonstandard, maybe someone knowledgeable could e.g. put this in wider context, previous proof attempts, whether this has any heuristic chance of succeeding etc $\endgroup$ – Marcin Kotowski Jun 3 '11 at 18:45

2$\begingroup$ Meta thread  tea.mathoverflow.net/discussion/1059/discussingpreprintsonmo $\endgroup$ – François G. Dorais♦ Jun 3 '11 at 20:23

4$\begingroup$ For those who is interested in the Hannah Neumann conjecture, both Friedman and Mineyev are going to participate in a Banff workshop birs.ca/events/2011/5dayworkshops/11w5141 in June, and Mineyev is going to participate in the AIM workshop aimath.org/ARCC/workshops/l2invfggroups.html in September. I am coorganizing the AIM workshop and Miklos Abert is coorganizing both. So if not by the end of June, then by the end of September, we will know at least if Mineyev's (shorter) proof is correct. $\endgroup$ – Mark Sapir Jun 6 '11 at 5:50
I don't think that this latest round has been independently verified.
Igor Mineyev has also announced a solution. See http://www.math.uiuc.edu/~mineyev/math/