[jcranmer]

That's not an entirely accurate summation of the current state of affairs, as I understand it.

At this point, several people who have tried to follow the proof have all pointed to the exact same step where their attempts came undone: Corollary 3.12. And it's become agreed by everyone that if this doesn't hold, the proof doesn't hold.

[ok_dad]

Yea, it's been a while since I followed this, at least 2 years now, so it makes sense to me that an error has been found. This proof seems very complex to me at 1000+ pages.