Tian on Nostr: We also have n=128, and the last proof should work for 128+delta for some small ...

We also have n=128, and the last proof should work for 128+delta for some small delta. Things can certainly be improved. For computer checking, the remaining grid sizes seem still a little too big to me.
What do you mean with the last question? k<n selected positions on an n x n grid? I have this in the final proof. Removing delta rows and columns from a hypothetical solution for n=64k+delta may remove 2*delta selected points, so I show there can't be 64k-delta of those on 64k x 64k.