この記事の日本語版はまだありません。英語版を表示しています。

Erdős Problem #956

A claim by Przemek Chojecki with Aristotle and GPT-5.5 Pro (27 Apr 2026) that has not yet been verified: candidate full solution.

問題
Erdős problem #956 (geometry, distances, convex); current status: open
貢献
Przemek Chojecki with Aristotle and GPT-5.5 Pro · AI working with humans
検証
Listed in Tao's wiki
経緯
First AI contribution 2026-04-27 · wiki data as of 2026-06-30
出典
Problem page (erdosproblems.com)Tao's AI-contributions wiki
未検証Per Tao's AI-contributions wiki

The problem

If C,D⊆R2C,D\subseteq \mathbb{R}^2 then the distance between CC and DD is defined by

δ(C,D)=inf⁡c∈Cd∈D∥c−d∥.\delta(C,D)=\inf_{\substack{c\in C\\ d\in D}}\| c-d\|.

Let h(n)h(n) be the maximal number of unit distances between disjoint convex translates. That is, the maximal mm such that there is a compact convex set C⊂R2C\subset \mathbb{R}^2 and a set XX of size nn such that all (C+x)x∈X(C+x)_{x\in X} are disjoint and there are mm pairs x1,x2∈Xx_1,x_2\in X such that

δ(C+x1,C+x2)=1.\delta(C+x_1,C+x_2)=1.

Determine h(n)h(n) - in particular, prove that there exists a constant c>0c>0 such that h(n)>n1+ch(n)>n^{1+c} for all large nn.

Statement quoted from erdosproblems.com/956, maintained by Thomas Bloom. Original source: [ErPa90]. Current status there: open.

AI contributions

As recorded in Terence Tao's wiki AI contributions to Erdős problems (data as of 30 Jun 2026). 🟢 full, 🟡 partial, ⚪ unverified, 🔴 incorrect.

Date Kind AI systems Humans Outcome
27 Apr, 2026 AI working with humans Aristotle, GPT-5.5 Pro Przemek Chojecki ⚪ Candidate full solution

Caveats

The wiki's classifications are provisional and are not a benchmark. Many Erdős problems have never had a thorough literature review, so a result that looks new may later turn out to be known; some problems were also stated ambiguously or incorrectly. See the problem page for the full discussion.

∎