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

Erdős Problem #36

Partial progress by AlphaEvolve (3 Nov 2025): slight improvement to past construction. 2 AI contributions are recorded in all.

問題
Erdős problem #36 (number theory, additive combinatorics); current status: open
貢献
AlphaEvolve · AI building on known literature
検証
Listed in Tao's wiki
経緯
First AI contribution 2025-11-03 · wiki data as of 2026-06-30
出典
Problem page (erdosproblems.com)Tao's AI-contributions wiki
部分的
結果
Per Tao's AI-contributions wiki

The problem

Find the optimal constant c>0c>0 such that the following holds.

For all sufficiently large NN, if A⊔B={1,…,2N}A\sqcup B=\{1,\ldots,2N\} is a partition into two equal parts, so that ∣A∣=∣B∣=N\lvert A\rvert=\lvert B\rvert=N, then there is some xx such that the number of solutions to a−b=xa-b=x with a∈Aa\in A and b∈Bb\in B is at least cNcN.

Statement quoted from erdosproblems.com/36, maintained by Thomas Bloom. Original source: [Er55][Er56][Er61][Er92c]. 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 Outcome Literature
3 Nov, 2025 AI building on known literature AlphaEvolve 🟡 Slight improvement to past construction 🟡 Haugland (2016)
29 Jun, 2026 AI on its own GPT-5.5 Pro ⚪ Candidate 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.

∎