Erdős Problem #741
VibeMathed recorded: Erdős Problem #741. Consult the linked registry entry for the original report and scope.
Exact FrontierDelta
Scope and record
Occurred: Apr 16, 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 #741 · Erdős #741 · Problem 741
Confidence: Not scored
Registry verification: lean verified · announcement · resolved
Attribution
VibeMathed
registry · event recorded by
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
DeepMind prover agent
model · ai model contributor
Lineage and corrections
This event attributed to Boris Alexeev
This event attributed to Moe Putterman
This event attributed to Mehtaab Sawhney
This event attributed to Mark Sellke
This event attributed to Gregory Valiant
This event attributed to DeepMind prover agent
Erdős Problem #741 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 #741 evidence for this event
Short proofs in combinatorics and number theory (Section 2): bound improved to 6.20219(log n)^2 evidence for this event
VibeMathed record: Erdős Problem #741 evidence for this event
Act on this frontier