AI News Lean4: Elevating AI Safety and Security through Formal Verification Elena Garcia Nov 24, 2025 0