3 ms·
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
by jcranmer 4y ago
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 4y agoYea, 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.