The math here is definitely out of my league; can someone ELI5 the implications of this?
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.
This paper is exploring a family of examples where the ABC conjecture is as close to being false as the author can manage.