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.
Statement not supplied by the source.
The source statement is missing. Retrieve the primary mathematical statement before domain-expert or mechanical review. VibeMath has not independently audited statement fidelity, correctness, priority, or novelty.
From "Short proofs in combinatorics and number theory": "In each case, the proof is due entirely to an internal model at OpenAI. The role of the human authors was simply to digest the proofs and modify the write-ups for clarity and elegance." This entry's solve is that paper's Theorem 4.1, proving that for every real alpha the sequence of fractional parts of alpha times the primes is not well-distributed.
Provider: unknown · Prompt public: unknown · Independence: unknown
Listed as solved on erdosproblems.com and the proof is verified in Lean. Solve credited via Terence Tao's AI-contributions wiki.
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: argument.
Independent: unknown · difference confidence: 0
The source did not supply a mathematical statement; retrieve it before replay or verification. VibeMath has not independently audited the mathematical statement, proof, or novelty claim.