Source authenticated

Erdős Problem #401

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

Exact FrontierDelta

Prior state unknown→proved

Scope and record

Occurred: Jan 11, 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 #401 · Erdős #401 · Problem 401

Confidence: Not scored

Registry verification: lean verified · announcement · resolved

Attribution

VibeMathed
registry · event recorded by

Aristotle
model · ai model contributor

Liam Price
human · human collaborator

Kevin Barreto
human · human collaborator

Boris Alexeev
human · human collaborator

Nat Sothanaphan
human · human collaborator

GPT-5.2 Pro
model · ai model contributor

Lineage and corrections

This event attributed to Liam Price

This event attributed to Kevin Barreto

This event attributed to Boris Alexeev

This event attributed to Nat Sothanaphan

This event attributed to Aristotle

This event attributed to GPT-5.2 Pro

Act on this frontier