Proof.fail – document what didn't work

Proof.fail – document what didn't work(proof.fail)

2 points by unprovable 18 days ago | 1 comment

unprovable 18 days ago |

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...

unprovable 18 days ago |

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...