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

Erdős Problem #503

Partial progress by Przemek Chojecki, Junnosuke Koizumi and RealBelgian with GPT-5.5 Pro (27 May 2026): partial result.

問題
Erdős problem #503 (geometry, distances); current status: open
貢献
Przemek Chojecki, Junnosuke Koizumi and RealBelgian with GPT-5.5 Pro · AI working with humans
検証
Listed in Tao's wiki
経緯
First AI contribution 2026-04-22 · wiki data as of 2026-06-30
出典
Problem page (erdosproblems.com)Tao's AI-contributions wiki
部分的
結果
Per Tao's AI-contributions wiki

The problem

What is the size of the largest A⊆RdA\subseteq \mathbb{R}^d such that every three points from AA determine an isosceles triangle? That is, for any three points x,y,zx,y,z from AA, at least two of the distances ∣x−y∣,∣y−z∣,∣x−z∣\lvert x-y\rvert,\lvert y-z\rvert,\lvert x-z\rvert are equal.

Statement quoted from erdosproblems.com/503, maintained by Thomas Bloom. Original source: [ErKe47][Er61,p.244]. 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
22 Apr, 2026 AI working with humans Aristotle, GPT-5.4 Pro Przemek Chojecki 🔴 Argument with major gaps made
27-28 May, 2026 AI working with humans GPT-5.5 Pro Przemek Chojecki, Junnosuke Koizumi, RealBelgian 🟡 Partial result

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.

∎