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 MarketsCerradoSin KYCDatos de resolución verificadosCalibración aceptableEste mercado se resolvió: Yes (95%)
Resuelto: 3 mar 2023, 2:57
Resolución verificada por el proveedor
CoinRithm tiene evidencia del ganador y del momento de liquidación respaldada por el proveedor para este mercado.
Pronóstico comunitario actual
Sí 95%
Pronosticadores
22
Tipo de pregunta
binary
Metodología
Play-money forecasting platform
Tipo de fuente
Pronóstico
Datos de mercado
Actualizado hace 4 días
Desactualizado24 feb 23, 13:363 mar 23, 2:57
Cronología de Probabilidad
Yes95%
No5%
95%
5%
Reglas
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.