> No it’s not. In fact, much of it is formally verified, which makes it far more reliable than most human-written proofs.

its formal verification on top of formalization by LLM, which could have errors.