Erdős·erdos:951
Erdős Problem 951
No formal proof attached. Any claim here rests on a write-up or a report.
Fidelity F0: None. No formal statement is attached to the result.
number theory·Source
AI activity
How grades workSolution to variant problem
Reasoning and sources
Autonomy
AI standalone; human involvement recorded as non-significant
Sources
New solution to variant problem
Reasoning and sources
Autonomy
AI building on literature supplied to it
Details
literature: 🟡 Barreto, GPT-5.2 Pro, and Price (2026) + GPT-5.2 Thinking and Sothanaphan (2026) (solution to variant problem)
Sources
New solution to variant problem
Reasoning and sources
Autonomy
AI collaborating with humans
Sources
Does the formal statement say what was claimed?
F0 no formal statement None. No formal statement is attached to the result.
Computed from what the project declares and what the register holds, never from reading the mathematics. How fidelity is graded.
Follow and discuss
All discussionGet an email when this problem moves
A new claim, a check, a bounty or a discussion. One link to confirm, one click to stop.
Discussion and bounties for this problem load here.
Formal material
Formal statements · 1
Cited proofs · 0
No proof artifact cited by the formal record.
Also known as · 3
- https://www.erdosproblems.com/951
- https://github.com/google-deepmind/formal-conjectures/blob/main/FormalConjectures/ErdosProblems/951.lean
- FormalConjectures/ErdosProblems/951.lean