Source authenticated

Erdős Problem #1148

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

Exact FrontierDelta

Prior state unknown→proved

Scope and record

Occurred: Mar 16, 2026

Delta type: SOURCE CLAIM

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

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

Confidence: Not scored

Registry verification: lean verified · announcement · resolved

Attribution

VibeMathed
registry · event recorded by

GPT-5.5 Pro
model · ai model contributor

Przemek Chojecki
human · human collaborator

Wouter van Doorn
human · human collaborator

GPT-5.4 Pro
model · ai model contributor

Ingo Althöfer
human · human collaborator

GPT-5.2 Pro
model · ai model contributor

Gemini 3.1 Pro
model · ai model contributor

GPT-5.2 Thinking
model · ai model contributor

Gemini 3 Pro
model · ai model contributor

Lineage and corrections

This event attributed to Przemek Chojecki

This event attributed to Ingo Althöfer

This event attributed to Wouter van Doorn

This event attributed to Gemini 3.1 Pro

This event attributed to GPT-5.2 Thinking

This event attributed to GPT-5.5 Pro

This event attributed to Gemini 3 Pro

This event attributed to GPT-5.4 Pro

This event attributed to GPT-5.2 Pro

Act on this frontier