Erdős Problem #1026: Monotonic Subsequence Sums
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-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: Erdős Problem #1026: Monotonic Subsequence Sums · Erdős #1026 (Mono. Sums) · Problem 1026
Confidence: Not scored
Registry verification: lean verified · announcement · resolved
Attribution
VibeMathed
registry · event recorded by
Lawrence Wu
human · human collaborator
Aristotle
model · ai model contributor · Harmonic / OpenAI / Google DeepMind
with GPT
model · ai model contributor · Harmonic / OpenAI / Google DeepMind
Gemini
model · ai model contributor · Harmonic / OpenAI / Google DeepMind
AlphaEvolve also contributing
model · ai model contributor · Harmonic / OpenAI / Google DeepMind
Boris Alexeev
human · human collaborator
Stijn Cambie
human · human collaborator
Terence Tao
human · human collaborator
Lineage and corrections
Corrects Erdős Problem #1026: Monotonic Subsequence Sums →
Supersedes Erdős Problem #1026: Monotonic Subsequence Sums →
This event attributed to Lawrence Wu
Erdős Problem #1026: Monotonic Subsequence Sums 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 #1026: Monotonic Subsequence Sums evidence for this event
Erdős Problem #1026: Monotonic Subsequence Sums evidence for this event
This event attributed to Aristotle
This event attributed to with GPT
This event attributed to Gemini
This event attributed to AlphaEvolve also contributing
This event attributed to Boris Alexeev
This event attributed to Stijn Cambie
This event attributed to Terence Tao
Act on this frontier