Source authenticated

Erdos Problem #731

resolved under an explicit formalization of 'reasonable', not in full generality

Exact FrontierDelta

Prior state unknown→proved

Scope and record

Occurred: Jun 27, 2026

Delta type: SOURCE CLAIM

Assumptions: VibeMathed verification: unreviewed. Publication: preprint. AI contribution: ai-co-developed. Editorial metadata: CC BY 4.0; linked content retains its own rights.

Canonical aliases: Erdos Problem #731 · Erdos 731 · Problem 731

Confidence: Not scored

Registry verification: unreviewed · preprint · partial

Open the source record ↗

Attribution

VibeMathed
registry · event recorded by

Eric Li
human · human collaborator

ChatGPT
model · ai model contributor · OpenAI / Harmonic

Aristotle
model · ai model contributor · OpenAI / Harmonic

Lineage and corrections

This event attributed to Eric Li

This event attributed to ChatGPT

This event attributed to Aristotle

VibeMathed record: Erdos Problem #731 evidence for this event

resolved under an explicit formalization of 'reasonable', not in full generality parent of this event

Erdos Problem #731 evidence for this event

Erdos Problem #731 parent of this event

Act on this frontier

Verify, challenge, or extend the result.