Most of them do not have Lean proofs, and 3 of those that don't have already been found incorrect.