geometry-topology / Discrete geometry

The Odd Area Conjecture for Unit Disks

For a family $F$ of an odd number $n$ of unit disks in the plane, let $\mathrm{OA}(F)$ be the area covered by an odd number of disks. It was conjectured that $\mathrm{OA}(F) \ge \pi$, the area of a single disk. False: configurations exist with smaller odd area.

15Significance / 100
1Frontier events
0Verification tasks
0Recorded attempts

Temporal state

Current frontier

No reconciled state yet.

Append-only history

Frontier timeline

geometry-topologyJun 6, 2026Significance 15/100Registry: site confirmed

The Odd Area Conjecture for Unit Disks

Prior state unknowndisproved

For a family $F$ of an odd number $n$ of unit disks in the plane, let $\mathrm{OA}(F)$ be the area covered by an odd number of disks. It was conjectured that $\mathrm{OA}(F) \ge \pi$, the area of a single disk. False: configurations exist with smaller odd area.

SourceReplayReproducedFormal proofStatement auditExternal checkExpert reviewPeer review

Research memory

Claims and attempts

Scoped claims

Source authenticated

For a family $F$ of an odd number $n$ of unit disks in the plane, let $\mathrm{OA}(F)$ be the area covered by an odd number of disks. It was conjectured that $\mathrm{OA}(F) \ge \pi$, the area of a single disk. False: configurations exist with smaller odd area.

Recorded attempts

Evidence graph

Connected research record

No public relationships recorded yet.