Erdős Problem #1141

Precise statement

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.

What AI did

OpenAI internal model

From "Short proofs in combinatorics, probability and number theory II": "The proofs in this manuscript are due 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." All five independent ChatGPT-5.4 Pro attempts also solved this one. The paper proves the finiteness for every fixed a, generalizing the a = 1 case that is Erdos's problem.

Provider: unknown · Prompt public: unknown · Independence: unknown

Verification boundary

lean verified statement audited

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

Timeline

1. 2026-04-09

   erdosproblems.com

   VibeMathed reports this item as resolved. VibeMath preserves that report as a source assertion and has not independently authored a plain-language mathematical explanation.

Known method families

construction (source-reported)

Source-reported tools: construction.

Independent: unknown · difference confidence: 0

What remains uncertain

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.

• VibeMath has not independently verified the mathematical claim.
• AI-attempt independence and training-data exposure are unknown unless explicitly documented.
• 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.