Erdős Problem #1026: Monotonic Subsequence Sums
VibeMathed recorded: Erdős Problem #1026: Monotonic Subsequence Sums. Consult the linked registry entry for the original report and scope.
Exact FrontierDelta
Scope and record
Occurred: Dec 8, 2025
Delta type: SOURCE CLAIM
Assumptions: VibeMathed verification: lean-verified. Publication: announcement. AI contribution: ai-co-developed. Editorial metadata: CC BY 4.0; linked content retains its 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
Boris Alexeev
human · human collaborator
Stijn Cambie
human · human collaborator
Terence Tao
human · human collaborator
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
Lineage and corrections
This event attributed to Boris Alexeev
This event attributed to Stijn Cambie
This event attributed to Terence Tao
This event attributed to Lawrence Wu
This event attributed to Aristotle
This event attributed to with GPT
This event attributed to Gemini
This event attributed to AlphaEvolve also contributing
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
Erdős Problem #1026: Monotonic Subsequence Sums evidence for this event
VibeMathed record: Erdős Problem #1026: Monotonic Subsequence Sums evidence for this event
Act on this frontier