Comment by sebzim4500

A majority of these proofs have not been formally verified yet, I think people are overstating how important lean is to the success of LLMs in mathematics.