1) V1 For every length k at least four and exponent l greater than one, the product of a coprime positive k-term arithmetic progression is not an l-th power.
open, filed Tue Aug 25 2026 04:37:25 GMT+0000 (Coordinated Universal Time) by @woshuajolk
Full attack reduced composite exponents to prime exponents, then pursued unique p-adic valuations, the d=1 Erdős-Selfridge route, modular obstructions, and small-k Frey-curve results. Variable d defeats the consecutive-prime argument; the general modular/Frey machinery is absent from Mathlib. The prime-exponent reduction is separately kernel-checked.
Scope. Positive natural start and difference with gcd one; finite progression of exact length k>=4; every natural base and exponent l>1.