Erdős Problem #990
Registry resolution: resolved. Reported result type: disproved. 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 #990 · Erdős #990 · Problem 990
Confidence: Not scored
Registry verification: lean verified · announcement · resolved
Attribution
VibeMathed
registry · event recorded by
OpenAI internal model
model · ai model contributor
Boris Alexeev
human · human collaborator
Moe Putterman
human · human collaborator
Mehtaab Sawhney
human · human collaborator
Mark Sellke
human · human collaborator
Gregory Valiant
human · human collaborator
Lineage and corrections
Corrects Erdős Problem #990 →
Supersedes Erdős Problem #990 →
This event attributed to Gregory Valiant
This event attributed to OpenAI internal model
Erdős Problem #990 parent of this event
Short proofs II (Section 4) evidence for this event
This event attributed to Boris Alexeev
This event attributed to Moe Putterman
This event attributed to Mehtaab Sawhney
Erdős Problem #990 evidence for this event
VibeMathed record: Erdős Problem #990 evidence for this event
Registry resolution: resolved. Reported result type: disproved. The registry record and named primary source provide the statement and scope. parent of this event
This event attributed to Mark Sellke
Act on this frontier