Comment by wiz21c

Each word of your answer is carefully chosen. I'll add one sentence though: you let time do its job.

Of course there may be errors in lean, of course AI can take advantage of it, of course "carefully" is full of errors. So the only thing left is waiting to see if the result holds. And yes, it may take 30 years...