I think the problem is that they mixed problems that some solutions in Lean (and I consider they solved, assuming someone checked the formalization of the statement) with some solution in English.

I expect most of the solutions in English to be correct or mostly correct, but we all have made and read mistakes mixed with the bla bla bla. In the Mythbuster scale I'd classify them as "plausible" instead of "confirmed".