lean artifact · pending
Artifact ↗Source authenticated
Erdos's Conjecture on Consecutive Integers Free of Certain Prime Factors
Registry resolution: resolved. Reported result type: proved. The registry record and named primary source provide the statement and scope.
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-discovered. 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's Conjecture on Consecutive Integers Free of Certain Prime Factors · Consecutive integers
Confidence: Not scored
Registry verification: lean checked · preprint · resolved
Attribution
VibeMathed
registry · event recorded by
ChatGPT 5.5 Pro
model · ai model contributor · OpenAI / Harmonic
Aristotle
model · ai model contributor · OpenAI / Harmonic
Wouter van Doorn
human · human collaborator
Quanyu Tang
human · human collaborator
Artifacts and verifiers
Compute record
No linked compute attempts recorded.
Lineage and corrections
Corrects Erdos's Conjecture on Consecutive Integers Free of Certain Prime Factors →
Supersedes Erdos's Conjecture on Consecutive Integers Free of Certain Prime Factors →
This event attributed to Wouter van Doorn
Github repo of the proof evidence for this event
Erdos 1979 - Problem statement evidence for this event
Erdős Problem #451 evidence for this event
Erdos's Conjecture on Consecutive Integers Free of Certain Prime Factors evidence for this event
This event attributed to Aristotle
Erdos's Conjecture on Consecutive Integers Free of Certain Prime Factors parent of this event
Registry resolution: resolved. Reported result type: proved. The registry record and named primary source provide the statement and scope. parent of this event
This event attributed to Quanyu Tang
VibeMathed record: Erdos's Conjecture on Consecutive Integers Free of Certain Prime Factors evidence for this event
This event attributed to ChatGPT 5.5 Pro
Act on this frontier