> Or more generally, how do you verify a proof that you don't understand? This is the big question! Computer-aided proof has been around forever. AI seems like

> Or more generally, how do you verify a proof that you don't understand? This is the big question! Computer-aided proof has been around forever. AI seems like just another tool from that box. Albeit one that has the potential to provide 'human-friendly' answers, rather than just a bunch of symbolic manipulation that must be interpreted.