Erdős problem 106
If is the maximum total side length of interior-disjoint squares packed in the unit square, is ? An exact rational configuration packs squares with total side length greater than , refuting the identity at .
No current result
No reviewed Result is current in Vela Mathematics Program. Retained source material is shown below.
No source in this release retained material for this Problem beyond its catalogue entry.
Reported activity
Work these sources record against this Problem. Source-reported attribution, not reviewed here.
Formalization
- Machine
computation
- Machine
- Reported outcome