Problem detail · source-aware
VibeMathed reports this item as resolved. VibeMath preserves that report as a source assertion and has not independently authored a plain-language mathematical explanation.
For $A \subseteq \mathbb{F}_p$ let $A^* = (A+A) \cup (AA)$. Sárközy conjectured that for all large primes, every set of size at least $c\sqrt{p}$ has $A^* = \mathbb{F}_p$-like covering behaviour. Disproved with an explicit construction from the classical cross-ratio orbit, together with the exact extremal value.
The source statement is reproduced for indexing with attribution. Mathematical correctness requires domain-expert or mechanical review. VibeMath has not independently audited statement fidelity, correctness, priority, or novelty.
Aristotle produced formal Lean proofs of all four principal statements of the paper (the formalization is public), and "was also used to assist in the preparation of this paper." The counterexample construction itself builds on a classical projective-geometric orbit.
Provider: Harmonic · Prompt public: unknown · Independence: unknown
All four principal statements formalized and checked in Lean; Wouter van Doorn assisted with the formalization. No independent expert review yet. Tier: the formalization was produced within the project (Aristotle, with van Doorn assisting); no independent statement audit.
Correctness: supported · statement fidelity: unaudited · peer review: none
VibeMathed reports this item as resolved. VibeMath preserves that report as a source assertion and has not independently authored a plain-language mathematical explanation.
Source-reported tools: construction.
Independent: unknown · difference confidence: 0
VibeMath has not independently audited the mathematical statement, proof, or novelty claim.