The board / number theory / #1101
Erdős Problem #1101
OPENdatabase updated 2025-10-19
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 set of integers not divisible by any u_i.
The sequence of integers A_u which are not divisible by any u_i arranged in a monotonic sequence.
t_x such that u_0 ... u_{t_x-1} ≤ x < u_0 ... u_{t_x}.
1. There is NO good sequence with polynomial growth.
Statement as formalized in Formal Conjectures (Google DeepMind, Apache-2.0) · their label: research open · 1 further variant / known partial result in the Lean file. The authoritative wording is on erdosproblems.com/1101.Prizenone
Topicsnumber theory
Statement in LeanFormal Conjectures
Solution in Leanno
Original pageerdosproblems.com/1101
Attempts
submit one →Read our working report →
Live page status OPEN, but comments dated 27–28 April 2026 link a proof and explicitly say that it claims a positive resolution of the second question (“Standard check found no issues”); stopping unde
SKIPPED