[–] unprovable 21d 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...
1 comment
[ 0.25 ms ] story [ 7.6 ms ] thread