Source authenticated

Erdős Problem #987

VibeMathed records this result as “Erdős Problem #987.” The registry entry and named primary source contain the available statement and scope.

Exact FrontierDelta

Prior state unknown→proved

Scope and record

Occurred: Apr 9, 2026

Delta type: SOURCE CLAIM

Assumptions: VibeMathed verification: site-confirmed. Publication: announcement. AI contribution: ai-discovered. Imported under CC BY 4.0.

Canonical aliases: Erdős Problem #987 · Erdős #987 · Problem 987

Confidence: Not scored

Registry verification: site confirmed · announcement · resolved

Attribution

VibeMathed
registry · event recorded by

Mark Sellke
human · human collaborator

Boris Alexeev
human · human collaborator

Mehtaab Sawhney
human · human collaborator

OpenAI internal model
model · ai model contributor

Moe Putterman
human · human collaborator

Gregory Valiant
human · human collaborator

Lineage and corrections

This event attributed to Mark Sellke

This event attributed to Boris Alexeev

This event attributed to Mehtaab Sawhney

This event attributed to Moe Putterman

This event attributed to Gregory Valiant

This event attributed to OpenAI internal model

Act on this frontier