Will proof of an optimal packing of 17 or fewer squares in a square be shown for any currently unproved packing before 2024?
One-Off
Manifold MarketsGeslotenGeen KYCGeverifieerde afwikkelingsgegevensRedelijk gekalibreerdDeze markt is beslist: Yes (95%)
Afgewikkeld: 3 mrt 2023, 02:57
Door provider geverifieerde afwikkeling
CoinRithm heeft provider-onderbouwd bewijs voor de winnaar en afwikkelingstijd van deze markt.
Huidige gemeenschapsvoorspelling
Ja 95%
Voorspellers
22
Vraagtype
binary
Methodologie
Play-money forecasting platform
Brontype
Voorspelling
Marktdata
Bijgewerkt 4 dagen geleden
Verouderd24 feb 23, 13:363 mrt 23, 2:57
Waarschijnlijkheidstijdlijn
Yes95%
No5%
95%
5%
Regels
Resolves YES if Erich's packing center (https://erich-friedman.github.io/packing/squinsqu )
- lists that the packing of 11, 12, 13, or 17 squares in a square is "proved" (contrast with "found") at any time before 2024.
- [image]Currently proven smaller packings are 1-10 and 14-16.