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 MarketsFerméSans KYCDonnées de résolution vérifiéesAssez bien calibré

Ce marché s'est résolu: Yes (95%)

Résolu: 3 mars 2023, 02:57

Résolution vérifiée par le fournisseur

CoinRithm dispose d'éléments du fournisseur pour le gagnant et l'heure de règlement de ce marché.

Prévision communautaire actuelle

Oui 95%

Prévisionnistes

Type de question

binary

Méthodologie

Play-money forecasting platform

Type de source

Prévision

Données du marché

Mis à jour il y a 4 jours

Obsolète

24 févr. 23, 13:363 mars 23, 2:57

Chronologie des Probabilités

Yes95%

No5%

Oui

95%

Non

Règles

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.