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

Erdős Problem #976

Partial progress by Aron Bhalla with GPT-5.4 (16 Apr 2026): conditional partial result.

問題
Erdős problem #976 (number theory); current status: open
貢献
Aron Bhalla with GPT-5.4 · AI working with humans
検証
Listed in Tao's wiki
経緯
First AI contribution 2026-04-16 · 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 f∈Z[x]f\in \mathbb{Z}[x] be an irreducible polynomial of degree d≥2d\geq 2. Let Ff(n)F_f(n) be maximal such that there exists 1≤m≤n1\leq m\leq n with f(m)f(m) is divisible by a prime ≥Ff(n)\geq F_f(n). Equivalently, Ff(n)F_f(n) is the greatest prime divisor of

∏1≤m≤nf(m).\prod_{1\leq m\leq n}f(m).

Estimate Ff(n)F_f(n). In particular, is it true that Ff(n)≫n1+cF_f(n)\gg n^{1+c} for some constant c>0c>0? Or even ≫nd\gg n^d?

Statement quoted from erdosproblems.com/976, maintained by Thomas Bloom. Original source: [Er65b,p.217]. 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
16 Apr, 2026 AI working with humans GPT-5.4 Aron Bhalla 🟡 Conditional 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.

∎