Source authenticated

Erdős Problem #1196: Primitive Sets

VibeMathed recorded: Erdős Problem #1196: Primitive Sets. Consult the linked registry entry for the original report and scope.

Exact FrontierDelta

Prior state unknown→proved

Scope and record

Occurred: Apr 1, 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 #1196: Primitive Sets · Primitive Sets (#1196) · Problem 1196

Confidence: Not scored

Registry verification: lean verified · announcement · resolved

Open the source record ↗

Attribution

VibeMathed
registry · event recorded by

Boris Alexeev
human · human collaborator

Kevin Barreto
human · human collaborator

Yanyang Li
human · human collaborator

Jared Duker Lichtman
human · human collaborator

Liam Price
human · human collaborator

Jibran Iqbal Shah
human · human collaborator

Quanyu Tang
human · human collaborator

Terence Tao
human · human collaborator

GPT-5.4 Pro
model · ai model contributor · OpenAI

Lineage and corrections

This event attributed to Boris Alexeev

This event attributed to Kevin Barreto

This event attributed to Yanyang Li

This event attributed to Jared Duker Lichtman

This event attributed to Liam Price

This event attributed to Jibran Iqbal Shah

This event attributed to Quanyu Tang

This event attributed to Terence Tao

This event attributed to GPT-5.4 Pro

Erdős Problem #1196: Primitive Sets 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

The Banks-Martin Conjecture on Primitive Sets evidence for this event

Erdős Problem #1196: Primitive Sets evidence for this event

VibeMathed record: Erdős Problem #1196: Primitive Sets evidence for this event

Act on this frontier

Verify, challenge, or extend the result.

Erdős Problem #1196: Primitive Sets — Mathematical Frontier Network