Proof checking AI News