Will a polyomino of size less than 25 that does not surround a 1x1 hole be discovered by December 1, 2022?
15
290Ṁ695
resolved Dec 2
Resolved
NO

In this Math StackExchange post, I asked about the existence of polyominoes that cannot be placed in a non-overlapping fashion to cover all four sides of an uncovered central unit square. The smallest solution currently known has 25 cells, and is shown below:

On the other hand, the best known lower bound is only 15 cells. It is an open question what the optimal solution is, and I'm fairly agnostic as to the possibility for improvement on the above shape.

This market resolves to YES if, by December 1 2022, I have confirmed the existence of a smaller polyomino than the one above that does not weakly surround a 1x1 hole.

(The most likely route through which I expect such a polyomino to be found is by someone discovering a new solution for the sake of trading on that information in this market, and then publicizing the result in the comments; I don't otherwise have reason to expect progress on this problem in the near future, and don't plan to work on it myself before the resolution date.)

Get
Ṁ1,000
to start trading!

🏅 Top traders

#NameTotal profit
1Ṁ19
2Ṁ15
3Ṁ14
4Ṁ9
5Ṁ6
© Manifold Markets, Inc.TermsPrivacy