The question then is how much you trust Lean, not how much you trust the AI system.

→ View original post on X — @pmddomingos,