> AlphaProof Code is a multi-LLM agentic framework that splits the work of formal verification the way a research team would: human experts work with AI to decide what to prove, and a group of AI agents does it.

Hah, the agents tackle the job just how a team of human researchers would tackle the job: by having AI do it! This seemed a little circular