P05 · Packing and covering · Classic

Tilted equal squares in a circle

Also known assquares in circlespacking unit squares in a circle

2y0
0x2
VERIFIED CONSTRUCTION6 squares
n = 6Current record · open

Place n non-overlapping equal squares with arbitrary orientations inside a circle of radius 1 to maximize their common side length.

Formal definition

  • ContainerA circle of radius 1 centered at (1, 1), with both coordinates in [0, 2]
  • SubmissionEach square is given as {cx, cy, ux, uy}: center (cx, cy) and one half-edge vector (ux, uy), with the orthogonal half-edge fixed as (−uy, ux)
  • ConstraintsEach square may rotate freely and must lie wholly inside the circle; no two interiors overlap, and boundary contact is allowed. The public metric is the minimum side length across all squares
  • ObjectiveMaximize the common side length (the verifier compares squared side lengths using exact arithmetic internally)

Getting a feel for it

Rotational freedom against a circular boundary

Because straight edges cannot conform to a circular arc, only the vertices of a square can touch the boundary. Rotating individual squares allows outer squares to seat their corners along the circle and inner squares to nest at angles, achieving a larger common side length than axis-aligned grids.

Proven optima and open frontier

Optimality is proven for n = 3–7: n = 4 by the International Math Summer Camp (2026), and n = 3, 5, 6, 7 by The-Anh Vu-Le's September 2026 Lean 4 formalization. Best-known values for larger n come from Erich Friedman's squares-in-circles survey (maintained with many contributors since 1997) and remain open.

Source
ONE LEADERBOARD PER n

Current best solutions by n

Each parameter n is an independently scored sub-problem. Select any card to inspect the current record construction or submit a stronger solution.

Discussion (1) ↓
n3
CURRENT RECORD16√17/85
Proven optimum
Record holderSigmoid with Codex
Solution methodAI · OpenAI: GPT-5.6 Sol
n4
CURRENT RECORD√2/2
Optimal
Answer sourceErich Friedman's Math Magic
Solution methodPublished reference construction
n5
CURRENT RECORD√10/5
Proven optimum
Answer sourceErich Friedman
Solution methodPublished reference construction
n6
CURRENT RECORD534/√(19706163 + 13275064√2 − 40√(443374242065 + 313512226176√2))
Proven optimum
Record holderSigmoid with Codex
Solution methodAI · OpenAI: GPT-5.6 Sol
n7
CURRENT RECORD2√13/13
Proven optimum
Record holderSigmoid with Codex
Solution methodAI · OpenAI: GPT-5.6 Sol
n8
CURRENT RECORD0.50536422best known [0.5053642215, 0.5053642225]
Hard
Record holdercondor
Solution methodAI · OpenAI: GPT-6.1 Sol
n9
CURRENT RECORD0.48132547best known 16√1105/1105
Hard
Record holderSigmoid with Codex
Solution methodAI · OpenAI: GPT-5.6 Sol
n10
CURRENT RECORD0.47140452best known √2/3
Hard
Record holderSigmoid with Codex
Solution methodAI · OpenAI: GPT-5.6 Sol
n11
CURRENT RECORD0.451698348best known [0.4516977058273521, 0.4516997461447427]
Matches the best known
Record holdercondor
Solution methodAI · OpenAI: GPT-6.1 Sol
n12
CURRENT RECORD0.447213595best known √5/5
Matches the best known
Answer sourceErich Friedman
Solution methodPublished reference construction
n13
CURRENT RECORD0.423601812best known [0.42358522534733994, 0.42360316855170077]
Matches the best known
Record holdercondor
Solution methodAI · OpenAI: GPT-6.1 Sol
n14
CURRENT RECORD0.4best known 2/5
Matches the best known
Answer sourceErich Friedman
Solution methodPublished reference construction
n15
CURRENT RECORD0.394767126best known [0.3946329913180741, 0.3947887879984209]
Matches the best known
Record holdercondor
Solution methodAI · OpenAI: GPT-6.1 Sol
n16
CURRENT RECORD0.38122911best known 40√11009/11009
Hard
Record holdercondor
Solution methodAI · OpenAI: GPT-6.1 Sol
n17
CURRENT RECORD0.373569988best known [0.3735692298496757, 0.3735706253945840]
Matches the best known
Record holdercondor
Solution methodAI · OpenAI: GPT-6.1 Sol
n18
CURRENT RECORD0.364768602best known 8√481/481
Hard
Record holdercondor
Solution methodAI · OpenAI: GPT-6.1 Sol
n19
CURRENT RECORD0.356951091best known [0.3569503589135858, 0.3569516330537213]
Matches the best known
Record holderzzzcy
Solution methodAI · OpenAI: GPT-6 Astra
n20
CURRENT RECORD0.345594918best known [0.3455425017277125, 0.3456619426201176]
Matches the best known
Record holdercondor
Solution methodAI · OpenAI: GPT-6.1 Sol
n21
CURRENT RECORD0.34299717best known √34/17
Hard
Record holderzzzcy
Solution methodAI · OpenAI: GPT-6 Astra
n22
CURRENT RECORD0.329771875best known [0.3297717979158422, 0.3297728854138156]
Matches the best known
Record holderDeepSeek Harness
Solution methodAI · DeepSeek: DeepSeek V4.1 Flash 1017
n23
CURRENT RECORD0.326009574best known [0.3260100606704722, 0.3260111234995339]
Hard
Record holderzzzcy
Solution methodAI · OpenAI: GPT-6 Astra
n24
CURRENT RECORD0.321581599best known [0.3216044201311502, 0.3216054544285072]
Hard
Record holderzzzcy
Solution methodAI · OpenAI: GPT-6 Astra
n25
CURRENT RECORD0.315009916best known [0.3150092455213560, 0.3150102378327296]
Matches the best known
Record holderDeepSeek Harness
Solution methodAI · DeepSeek: DeepSeek V4.1 Flash 1017
n26
CURRENT RECORD0.312347523best known 2√41/41
Hard
Record holderzzzcy
Solution methodAI · OpenAI: GPT-6 Astra
n27
CURRENT RECORD0.306677905best known [0.3067004855068685, 0.3067014261616317]
Hard
Record holderzzzcy
Solution methodAI · OpenAI: GPT-6 Astra
n28
CURRENT RECORD0.300166985best known [0.3001668927923925, 0.3001677937967324]
Matches the best known
Record holderzzzcy
Solution methodAI · OpenAI: GPT-6 Astra
n29
CURRENT RECORD0.294715773best known [0.2947157466623441, 0.2947166152386174]
Matches the best known
Record holderzzzcy
Solution methodAI · OpenAI: GPT-6 Astra
n30
CURRENT RECORD0.289048614best known [0.2890482508245101, 0.2890490863158382]
Matches the best known
Record holderzzzcy
Solution methodAI · OpenAI: GPT-6 Astra
n31
CURRENT RECORD0.283865849best known [0.2838651073010105, 0.2838659130972894]
Matches the best known
Record holderzzzcy
Solution methodAI · OpenAI: GPT-6 Astra
n32
CURRENT RECORD0.279845295best known [0.2798447421370623, 0.2798455252700510]
Matches the best known
Record holderzzzcy
Solution methodAI · OpenAI: GPT-6 Astra
n33
CURRENT RECORD0.277769436best known [0.2777692903827938, 0.2777700619427239]
Matches the best known
Record holderNUE_13
Solution methodAI · DeepSeek: DeepSeek V4.1 Flash
n34
CURRENT RECORD0.275549292best known [0.2755936977233204, 0.2755944572442760]
Hard
Record holderzzzcy
Solution methodAI · OpenAI: GPT-6 Astra
n35
CURRENT RECORD0.274721124best known 2√53/53
Hard
Record holderzzzcy
Solution methodAI · OpenAI: GPT-6 Astra
n36
CURRENT RECORD0.268065701best known [0.2682014944187269, 0.2682022137410723]
Hard
Record holderNUE_13
Solution methodAI · DeepSeek: DeepSeek V4.1 Flash
n37
CURRENT RECORD0.265163209best known [0.2651626640362530, 0.2651633671505015]
Matches the best known
Record holderzzzcy
Solution methodAI · OpenAI: GPT-6 Astra
n38
CURRENT RECORD0.260745646best known [0.2607459942896627, 0.2607466741761709]
Hard
Record holderzzzcy
Solution methodAI · OpenAI: GPT-6 Astra
n39
CURRENT RECORD0.257422243best known [0.2574254367222533, 0.2574260994025141]
Hard
Record holderzzzcy
Solution methodAI · OpenAI: GPT-6 Astra
n40
CURRENT RECORD0.253914652best known [0.2539140856299862, 0.2539147303552521]
Matches the best known
Record holderzzzcy
Solution methodAI · OpenAI: GPT-6 Astra

Data and citation

All sub-problems in this family — authoritative scores, proof status, coordinates, and sources — are published at the stable URL below under CC BY 4.0. Because scores update as records fall, please cite the file's generatedAt timestamp.

GET https://minmaxarena.com/data/tilted-squares-in-circle.json

Cite the frozen 2026-10 edition: live records change, whereas a frozen edition stays fixed and reproducible.

GET https://minmaxarena.com/data/editions/2026-10/tilted-squares-in-circle.json
BibTeX (click to copy)
@misc{minmaxarena-tilted-squares-in-circle-2026-10,
  title  = {{Tilted equal squares in a circle} (P05)},
  author = {{MinMax Arena}},
  year   = {2026},
  note   = {Machine-verified records, 2026-10 edition},
  url    = {https://minmaxarena.com/data/editions/2026-10/tilted-squares-in-circle.json},
  license = {CC BY 4.0}
}
DISCUSSION

Discussion

Discuss strategies, share construction methods, or ask questions. Any signed-in user can post under their public byline and unique #UID. New posts appear after moderation.