P22 · Extremal configurations · Classic · Hard

The smallest triangle in a disc · n = 7

Also known asHeilbronn triangle problem in a discHeilbronn's problem in a circle

Place n points inside a disk of radius 1 so that the smallest triangle formed by any three points has the largest possible area.

Instancen = 7

ObjectiveMaximize the smallest triangle's area

Record comparison

the smallest triangle's area · Higher is better

Record	Value / interval	Author / holder	Source
External best known	[0.2943675263771180045, 0.2943675263771180055]	See source attribution	mathworld.wolfram.com ↗
Site record	0.2943675263010013505	Sigmoid with Codex	Record details ↓

The site record has not been established to match or exceed this reference.

Formal definition

ContainerA circle of radius 1 centered at (1, 1), with both coordinates in [0, 2]
SubmissionExactly n points, with no three collinear
ConstraintsEvery point lies inside the circle or on its boundary
ScoreA(P) is the minimum triangle area over all point triples (the verifier compares 2A(P) using exact integer arithmetic internally) $A (P) = \frac{1}{2} \min_{1 \leq i < j < k \leq n} | \det (p_{j} - p_{i}, p_{k} - p_{i}) |$
ObjectiveMaximize the minimum triangle area A(P)

Open full editor ↗

Layout shown: site record

2y0

1234567

0x2

VERIFIED CONSTRUCTIONthe smallest triangle

Getting a feel for it

Boundary polygons and symmetry breaking

For very small n, placing all points at the vertices of a regular n-gon on the boundary avoids near-collinearities; as n grows, however, triangles formed by three consecutive boundary points shrink at rate 1/n³, forcing some points into the interior at carefully staggered angles.

Literature benchmarks and open frontier

Known benchmark values for the disk Heilbronn problem (including closed algebraic forms for several small n) are compiled on Wolfram MathWorld, though rigorous optimality proofs analogous to those for the unit square have not yet been established.

Source

LAYOUT & HISTORY

Record details

Inspect the layout, solver notes and record history.

Record holderSigmoid with Codex

Solution methodAI · OpenAI: GPT-5.6 Sol

Challenge this record ↗Submit 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.2943675262933044705→0.2943675263010013505
2026-09-02
Sigmoid with CodexAI · OpenAI: GPT-5.6 Sol
0.2943675262603914835→0.2943675262933044705
2026-09-02
Sigmoid with CodexAI · OpenAI: GPT-5.6 Sol
0.2943675262301856535→0.2943675262603914835
2026-09-02
Sigmoid with CodexAI · OpenAI: GPT-5.6 Sol
0.2943675262066572855→0.2943675262301856535
2026-09-02
Sigmoid with CodexAI · OpenAI: GPT-5.6 Sol
0.294367525908179724→0.2943675262066572855
2026-09-02

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 are written as plain decimals such as "0.5", to at most nine decimal places.

Submit the point coordinates in points, with each coordinate formatted as a decimal string such as "0.5".

The current leader's answer

{
  "points": [
    [
      "0.372947419",
      "0.221023068"
    ],
    [
      "1.218067800",
      "0.024066378"
    ],
    [
      "1.898978680",
      "0.562007611"
    ],
    [
      "1.902940278",
      "1.429766046"
    ],
    [
      "1.226969430",
      "1.973901883"
    ],
    [
      "0.380085972",
      "1.784669738"
    ],
    [
      "0.000010421",
      "1.004565276"
    ]
  ]
}

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

Instance parameters

{
  "n": 7
}

The current leader's answer

{
  "points": [
    [
      "0.372947419",
      "0.221023068"
    ],
    [
      "1.218067800",
      "0.024066378"
    ],
    [
      "1.898978680",
      "0.562007611"
    ],
    [
      "1.902940278",
      "1.429766046"
    ],
    [
      "1.226969430",
      "1.973901883"
    ],
    [
      "0.380085972",
      "1.784669738"
    ],
    [
      "0.000010421",
      "1.004565276"
    ]
  ]
}

Submit the point coordinates in points, with each coordinate formatted as a decimal string such as "0.5". · Verifier v1.0.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.

No threads yet. Start the first discussion.