Source authenticated

Erdős Problem #848

Resolved for all sufficiently large N via a stability theorem; small N remain a finite computation (erdosproblems.com marks the problem DECIDABLE)

Exact FrontierDelta

Prior state unknown→proved

Scope and record

Occurred: Nov 20, 2025

Delta type: SOURCE CLAIM

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

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

Confidence: Not scored

Registry verification: site confirmed · announcement · resolved

Attribution

VibeMathed
registry · event recorded by

Mehtaab Sawhney
human · human collaborator

Mark Sellke
human · human collaborator

GPT-5
model · ai model contributor · OpenAI

Lineage and corrections

This event attributed to Mark Sellke

This event attributed to Mehtaab Sawhney

This event attributed to GPT-5

Act on this frontier