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é.

Alerte qualité des donnéesDonnées obsolètes

Données au 17 août 2026, 18:20 UTC · politique pm-quality-3

Prévision communautaire actuelle

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 67 jours

Obsolète

24 févr. 23, 13:36 UTC3 mars 23, 02:57 UTC

Chronologie des Probabilités

Yes95%

No5%

Oui

Gagné

Non

Perdu

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.

Questions fréquentes