Inference Cost

AlphaProof Nexus turns AI math from persuasive text into checked proof

AlphaProof Nexus did not merely write plausible mathematical arguments: every step had to pass through Lean, which is the difference between elegant text and verifiable proof.