lean artifact · passed
Artifact ↗Source authenticated
Erdős Problem #131
The new content is the upper bound; the matching N^(1/5) construction is prior work of Erdős and Csaba. erdosproblems.com has not accepted the claim
Exact FrontierDelta
Prior state unknown→proved
Scope and record
Occurred: Jul 24, 2026
Delta type: SOURCE CLAIM
Assumptions: VibeMathed verification: lean-verified. Publication: announcement. AI contribution: ai-discovered. Editorial metadata: CC BY 4.0; linked content retains its own rights.
Canonical aliases: Erdős Problem #131 · Erdős #131 · Problem 131
Confidence: Not scored
Registry verification: lean verified · announcement · candidate
Attribution
VibeMathed
registry · event recorded by
GPT-5.6 Sol
model · ai model contributor · OpenAI
Claude
model · ai model contributor · Anthropic
Artifacts and verifiers
Compute record
No linked compute attempts recorded.
Lineage and corrections
This event attributed to GPT-5.6 Sol
This event attributed to Claude
Lean 4 formalization evidence for this event
Erdős Problem #131 parent of this event
VibeMathed record: Erdős Problem #131 evidence for this event
The new content is the upper bound; the matching N^(1/5) construction is prior work of Erdős and Csaba. erdosproblems.com has not accepted the claim parent of this event
Erdős Problem #131 evidence for this event
erdosproblems.com/131 evidence for this event
Act on this frontier