From Trust to Verification: Lean's Impact on Mathematics | Dark Hacker News