T twitter.com Proposing a new lower bound for n=17 square packing problem 2 points sam-bee 2 months ago 2 comments
