4 ms·
Just make it output a proof together with the program.
by thomasahle 5y ago
Just make it output a proof together with the program.
- qayxc 5y agoThat won't work because the systems aren't trained on proofs and proper theorem provers don't work that way either.