Proof generation AI News