Erdős Problem #347
Registry resolution: resolved. Reported result type: proved. The registry record and named primary source provide the statement and scope.
Exact FrontierDelta
Scope and record
Occurred: Oct 29, 2026
Delta type: REGISTRY REVISION
Assumptions: VibeMathed verification: lean-verified. Publication: announcement. 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: Erdős Problem #347 · Erdős #347 · Problem 347
Confidence: Not scored
Registry verification: lean verified · announcement · resolved
Attribution
VibeMathed
registry · event recorded by
Aristotle
model · ai model contributor
Claude Opus
model · ai model contributor
Codex
model · ai model contributor
GPT
model · ai model contributor
Enrique Barschkis
human · human collaborator
Wouter van Doorn
human · human collaborator
jbbaehr22
human · human collaborator
Bartosz Naskrecki
human · human collaborator
Terence Tao
human · human collaborator
Lineage and corrections
Corrects Erdős Problem #347 →
Supersedes Erdős Problem #347 →
Erdős Problem #347 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
VibeMathed record: Erdős Problem #347 evidence for this event
Erdős Problem #347 evidence for this event
This event attributed to Aristotle
This event attributed to Claude Opus
This event attributed to Codex
This event attributed to GPT
This event attributed to Enrique Barschkis
This event attributed to Wouter van Doorn
This event attributed to jbbaehr22
This event attributed to Bartosz Naskrecki
This event attributed to Terence Tao
Act on this frontier