Log-Concavity of Codimension-Three Pure O-Sequences
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: 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: Log-Concavity of Codimension-Three Pure O-Sequences · Pure O-sequences
Confidence: Not scored
Registry verification: lean verified · preprint · resolved
Attribution
VibeMathed
registry · event recorded by
AlphaProof Nexus
model · ai model contributor · Google DeepMind
Lineage and corrections
Corrects Log-Concavity of Codimension-Three Pure O-Sequences →
Supersedes Log-Concavity of Codimension-Three Pure O-Sequences →
This event attributed to AlphaProof Nexus
VibeMathed record: Log-Concavity of Codimension-Three Pure O-Sequences evidence for this event
Log-Concavity of Codimension-Three Pure O-Sequences 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
Monochromatic Quantum Graphs in the Diagonal Family evidence for this event
Act on this frontier