2 ms·Edit: never mind, it seems I confused deriving a proof with verifying it!by mehrdadn 8y agoEdit: never mind, it seems I confused deriving a proof with verifying it!nabla9 8y agovbezhenar is talking about verifying proofs not finding proofs. Computers can easily verify that proof is correct once the proof is written down using formal semantics. Proof checkers already exist.mehrdadn 8y agoGreat point, thank you!