Prime power conjecture for cyclic projective planes
Prove or refute that no cyclic projective planes exist for any order that is not a prime power; equivalently, demonstrate that perfect difference sets modulo v = q^2 + q + 1 exist only when q is a prime power.
References
The “prime power conjecture” states that there are no cyclic projective planes (and thus no perfect difference sets) for any other order.
— Forbidden Sidon subsets of perfect difference sets, featuring a human-assisted proof
(2510.19804 - Alexeev et al., 22 Oct 2025) in Section 4 (Cyclic projective planes)