An AI may still be able to apply the results without humans understanding the proof.