Proof.fail – document what didn't work
proof.fail
1 thread
As we automate more and more, and see claims of "one shotting" 80+yo maths conjectures, documenting and sharing what didn't work is surely going to get more and more important...
As we automate more and more, and see claims of "one shotting" 80+yo maths conjectures, documenting and sharing what didn't work is surely going to get more and more important...