It's worth mentioning that many of these papers haven't been fully reviewed and confirmed as being correct. Several had to be retracted upon closer inspection. Too many people are assuming that passing lean checks for some of the papers means that all of them will hold up under scrutiny. It remains an open question if humans or any available system are capable of peer review for some of the more complicated proofs.