If $f(n)$ is the maximum total side length of $n$ interior-disjoint squares packed in the unit square, is $f(k^2 + 1) = k$? An exact rational configuration packs $17$ squares with total side length greater than $4$, refuting the identity at $k = 4$.

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

Reported by these sources. Not reviewed here.

• Formalization

  Erdős AI contributions wiki · 10 Dec, 2025

  Machine

  Aristotle

  Open the source record

• computation

  VibeMathed

  Machine

  Claude Opus 5

  Reported outcome

  candidate

  Open the source record