“Formal proof systems like Lean obviate the need for manual human verification and traditional peer review in mathematics, as proofs can be automatically checked for correctness by the system's kernel.”