The Umans-Wang Arithmetic-Progression Divisor Conjecture
An $n$-divisor set contains a multiple of every integer from 1 to $n$. Umans and Wang proposed, as the arithmetic-progression form of their Strong $(\alpha,\beta)$-Divisor Conjecture, that such a progression exists with few terms of bounded magnitude, which would imply faster algorithms for polynomial and integer factorization. Refuted unconditionally, including its exponent-level relaxation.
Exact FrontierDelta
Scope and record
Occurred: Aug 7, 2026
Delta type: SOURCE CLAIM
Assumptions: VibeMathed verification: unreviewed. Publication: preprint. AI contribution: ai-discovered. Imported under CC BY 4.0.
Canonical aliases: The Umans-Wang Arithmetic-Progression Divisor Conjecture · Umans-Wang divisor conjecture
Confidence: Not scored
Registry verification: unreviewed · preprint · resolved
Attribution
VibeMathed
registry · event recorded by
Xinjie He
human · human collaborator
Amit Sahai
human · human collaborator
GPT-5.6 Sol (via Codex, reasoning effort ultra)
model · ai model contributor · OpenAI
Lineage and corrections
This event attributed to Amit Sahai
This event attributed to Xinjie He
This event attributed to GPT-5.6 Sol (via Codex, reasoning effort ultra)