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

Erdős Problem #367

Partial progress by Boris Alexeev, Wouter van Doorn and Terence Tao with Aristotle and Gemini Deep Think (20 Nov 2025): partial result.

問題
Erdős problem #367 (number theory, powerful); current status: open
貢献
Boris Alexeev, Wouter van Doorn and Terence Tao with Aristotle and Gemini Deep Think · AI working with humans
検証
Listed in Tao's wiki
経緯
First AI contribution 2025-11-20 · 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 B2(n)B_2(n) be the 22-full part of nn (that is, B2(n)=n/n′B_2(n)=n/n' where n′n' is the product of all primes that divide nn exactly once). Is it true that, for every fixed k≥1k\geq 1,

∏n≤m<n+kB2(m)≪n2+o(1)?\prod_{n\leq m<n+k}B_2(m) \ll n^{2+o(1)}?

Or perhaps even ≪kn2\ll_k n^2?

Statement quoted from erdosproblems.com/367, maintained by Thomas Bloom. Original source: [ErGr80,p.68]. 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
20-22 Nov, 2025 AI working with humans Aristotle, Gemini Deep Think Boris Alexeev, Wouter van Doorn, Terence Tao 🟡 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.

∎