>> AlphaProof Code is a multi-LLM agentic framework that splits the work of formal verification the way a research team would

Not sure if this is precise. At least it sounds somewhat odd. I think what they really wanted to say here is "multi-agent system" (which usually, but not necessarily, implies the use of multiple LLMs).