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

Erdős Problem #931

Partial progress by Adenwalla and Malek Zribi with Claude and GPT-5.4 (8 Jun 2026): partial result.

問題
Erdős problem #931 (number theory); current status: open
貢献
Adenwalla and Malek Zribi with Claude and GPT-5.4 · AI working with humans
検証
Listed in Tao's wiki
経緯
First AI contribution 2026-06-08 · wiki data as of 2026-06-30
出典
Problem page (erdosproblems.com)Tao's AI-contributions wiki
部分的
結果
Per Tao's AI-contributions wiki

The problem

Let k1≥k2≥3k_1\geq k_2\geq 3. Are there only finitely many n2≥n1+k1n_2\geq n_1+k_1 such that

∏1≤i≤k1(n1+i) and ∏1≤j≤k2(n2+j)\prod_{1\leq i\leq k_1}(n_1+i)\textrm{ and }\prod_{1\leq j\leq k_2}(n_2+j)

have the same prime factors?

Statement quoted from erdosproblems.com/931, maintained by Thomas Bloom. Original source: [Er76d]. 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
12 Mar-8 Jun, 2026 AI working with humans Claude, GPT-5.4 Adenwalla, Malek Zribi 🟡 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.

∎