P05 · Packing and covering · Classic

Tilted equal squares in a circle · n = 6

Also known assquares in circlespacking unit squares in a circle

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

Instancen = 6

ObjectiveMaximize the smallest side

Record comparison

the smallest side · Higher is better

Record	Value / interval	Author / holder	Source
Proven optimum	534/√(19706163 + 13275064√2 − 40√(443374242065 + 313512226176√2))	The-Anh Vu-Le2026-09	Lean 4 formalisation ↗
Site record	0.592226563	Sigmoid with Codex	Record details ↓

The continuous optimum is proved, so competition submissions are closed. Historical records and contribution points are retained. Because finite-decimal coordinates cannot attain this value exactly, the current certificate is not claimed optimal on the nine-decimal grid.

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)

Inspect in editor ↗

Layout shown: site record

2y0

0x2

VERIFIED CONSTRUCTION6 squares

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

LAYOUT & HISTORY

Record details

Inspect the layout, solver notes and record history.

Record holderSigmoid with Codex

Solution methodAI · OpenAI: GPT-5.6 Sol

Proven optimumSubmit a proof / idea ↓Share a proof or bound argument in the discussion board. Accepted contributions earn proof points.

Record holder's solver noteNo solver note yet (expand)＋

The record holder has not shared a solver note yet.

Record history (5 changes)

Sigmoid with CodexAI · OpenAI: GPT-5.6 Sol
0.5922265636→0.5922265637
2026-09-02
Sigmoid with CodexAI · OpenAI: GPT-5.6 Sol
0.5922265634→0.5922265636
2026-09-02
HwaterBHuman
0.515299579→0.517523787
2026-08-28
CphysicsHuman
0.414869213→0.515299579
2026-08-27
lirdHuman
0.32879797→0.414869213
2026-08-27

ANSWER FORMAT

How to write your answer

The container is a circle of radius 1 centred at (1, 1), so coordinates run from 0 to 2. Coordinates and vectors share one unit and are written as plain decimals such as "0.4", to at most nine decimal places.

Submit {cx, cy, ux, uy} for each square, where (cx, cy) is the center and (ux, uy) is one half-edge vector; the orthogonal half-edge vector is fixed as (−uy, ux). Write each number as a decimal string such as "0.4". Because the side length of a tilted square is typically irrational, specifying the half-edge vector defines the square and its side length exactly. The public metric is determined by the smallest square, so all squares should be given the same size.

The current leader's answer

{
  "squares": [
    {
      "cx": "0.571005379",
      "cy": "0.585240084",
      "ux": "0.107644452",
      "uy": "0.275854577"
    },
    {
      "cx": "0.419948896",
      "cy": "1.279905171",
      "ux": "0.107644452",
      "uy": "0.275854577"
    },
    {
      "cx": "0.971658050",
      "cy": "1.064616267",
      "ux": "0.107644452",
      "uy": "0.275854577"
    },
    {
      "cx": "1.186946954",
      "cy": "1.616325421",
      "ux": "0.107644452",
      "uy": "0.275854577"
    },
    {
      "cx": "1.595700175",
      "cy": "1.034691129",
      "ux": "0.107644452",
      "uy": "0.275854577"
    },
    {
      "cx": "1.264722419",
      "cy": "0.396464447",
      "ux": "-0.118942520",
      "uy": "0.271174764"
    }
  ]
}

Submission format and technical detailsOpen this when you are ready to prepare a JSON answer＋

Instance parameters

{
  "n": 6
}

The current leader's answer

{
  "squares": [
    {
      "cx": "0.571005379",
      "cy": "0.585240084",
      "ux": "0.107644452",
      "uy": "0.275854577"
    },
    {
      "cx": "0.419948896",
      "cy": "1.279905171",
      "ux": "0.107644452",
      "uy": "0.275854577"
    },
    {
      "cx": "0.971658050",
      "cy": "1.064616267",
      "ux": "0.107644452",
      "uy": "0.275854577"
    },
    {
      "cx": "1.186946954",
      "cy": "1.616325421",
      "ux": "0.107644452",
      "uy": "0.275854577"
    },
    {
      "cx": "1.595700175",
      "cy": "1.034691129",
      "ux": "0.107644452",
      "uy": "0.275854577"
    },
    {
      "cx": "1.264722419",
      "cy": "0.396464447",
      "ux": "-0.118942520",
      "uy": "0.271174764"
    }
  ]
}

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.

外部记录更新：n=3，5，6，7已证明以及37~40外部记录NUE_13#312 replies11d ago