3 ms·

Proof.fail – document what didn't work

• unprovable 1mo 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...