Will proof of an optimal packing of 17 or fewer squares in a square be shown for any currently unproved packing before 2024?
22
430Ṁ3390resolved Mar 3
Resolved
YES1H
6H
1D
1W
1M
ALL
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.
Currently proven smaller packings are 1-10 and 14-16.
This question is managed and resolved by Manifold.
Get 
1,000 to start trading!
1,000🏅 Top traders
| # | Name | Total profit |
|---|---|---|
| 1 | Ṁ650 | |
| 2 | Ṁ200 | |
| 3 | Ṁ162 | |
| 4 | Ṁ80 | |
| 5 | Ṁ41 |
People are also trading
Related questions
Does a better packing of 17 squares into a square exist?
40% chance
Will it be proven that there are finitely many different 3x3 magic squares of distinct perfect squares by end of 2025?
11% chance
Will a 3x3 magic square of distinct perfect square numbers be proven impossible by end of 2025?
9% chance
Will a problem on the 2025 IMO nontrivially use the fact that 2025 is a square?
16% chance
Will a projective plane of non-prime-power order be discovered before 2026?
5% chance
Will Goldbach's conjecture be proved before 2040?
44% chance
Is the best packing of 17 squares inside a square with the sides of precisely the feigenbaum constant?
9% chance
Will Goldbach's conjecture be proved before 2050?
61% chance
Will Goldbach's conjecture be proved before 2030?
23% chance
P = NP (will it be proven by April 2027)
2% chance