lean artifact · pending
Artifact ↗Source authenticated
Erdos Problem #731
Resolved under an explicit formalization of 'reasonable', not in full generality.
Exact FrontierDelta
proved→proved
Scope and record
Occurred: Oct 29, 2026
Delta type: REGISTRY REVISION
Assumptions: VibeMathed verification: lean-checked. Publication: preprint. AI contribution: ai-co-developed. VibeMathed editorial classifications, scores, notes, relations, and dataset structure are CC BY 4.0. Source statements and linked content retain their own rights.
Canonical aliases: Erdos Problem #731 · Erdos 731 · Problem 731
Confidence: Not scored
Registry verification: lean checked · preprint · partial
Attribution
VibeMathed
registry · event recorded by
ChatGPT
model · ai model contributor · OpenAI / Harmonic
Aristotle
model · ai model contributor · OpenAI / Harmonic
Eric Li
human · human collaborator
Artifacts and verifiers
Compute record
No linked compute attempts recorded.
Lineage and corrections
Corrects Erdos Problem #731 →
Supersedes Erdos Problem #731 →
VibeMathed record: Erdos Problem #731 evidence for this event
Erdos Problem #731 parent of this event
This event attributed to Eric Li
This event attributed to ChatGPT
Resolved under an explicit formalization of 'reasonable', not in full generality. parent of this event
Github repo of the proof evidence for this event
Erdos Problem #731 evidence for this event
This event attributed to Aristotle
Erdos et al 1975 - Problem statement evidence for this event
Act on this frontier