3 ms·An AI may still be able to apply the results without humans understanding the proof.by Jtarii 2mo agoAn AI may still be able to apply the results without humans understanding the proof.