Comment by malisper

> Having a Lean proof is an assurance that you proved something. But without going through the definitions, we can't know what you proved.

Sure, even a Lean proof can be wrong. But you made it sound like that because there's a Lean proof, the claims are more likely to be wrong:

>>> Given the constraint (3.5 hours of model effort) having a Lean proof is actually a sign that some of the results are likely weak