Erdős Problem a Daythe open tracker

Erdős Problem #452

OPENdatabase updated 2025-08-31

No proof or disproof is known, and it isn't known whether a finite computation could settle it.

What the community database records, not our verdict. erdosproblems.com no longer shows statuses (why).

The greatest length of an interval in \([x,2x]\) on which \(\omega(n) > \log\log n\) everywhere.

Determine the largest length of an interval in \([x,2x]\) on which \(\omega(n) > \log\log n\) everywhere.
Statement as formalized in Formal Conjectures (Google DeepMind, Apache-2.0) · their label: research open. The authoritative wording is on erdosproblems.com/452.
Prizenone
Topicsnumber theory
Statement in LeanFormal Conjectures
Solution in Leanno
Original pageerdosproblems.com/452
FULL WRITE-UP BY THIS SITE · JUL 26, 2026

Read our full write-up →

How long a run of consecutive integers can stay above the normal prime-factor count ω(n) > log log n? Round 1 gave the explicit CRT lower-bound construction and reported the honest bad news: no non-trivial upper bound existed anywhere. Round 2, same day: a second model built a real one — a genuine sieve-theoretic upper bound miles below the trivial prime-gap bound, with a fully checkable 5-integer example. Half its six background literature citations didn't survive verification and are dropped below; the actual proof — checked independently, not just accepted — doesn't depend on any of them.

LIVE