undefined | Better HN

0 pointsthomasahle4y ago0 comments

Just make it output a proof together with the program.

0 comments

qayxc4y ago

That won't work because the systems aren't trained on proofs and proper theorem provers don't work that way either.

j / k navigate · click thread line to collapse

0 pointsthomasahle4y ago0 comments

Just make it output a proof together with the program.

qayxc4y ago

That won't work because the systems aren't trained on proofs and proper theorem provers don't work that way either.

j / k navigate · click thread line to collapse