Source authenticated
Erdős-Herzog-Piranian Distance Products: Improved Lower Bound
An improved lower bound on the maximal product; the sharp maximizer for the 1958 question remains unknown.
Exact FrontierDelta
Prior state unknown→proved
Scope and record
Occurred: Dec 16, 2025
Delta type: SOURCE CLAIM
Assumptions: VibeMathed verification: unreviewed. Publication: preprint. AI contribution: ai-assisted. Imported under CC BY 4.0.
Canonical aliases: Erdős-Herzog-Piranian Distance Products: Improved Lower Bound · Distance products
Confidence: Not scored
Registry verification: unreviewed · preprint · partial
Attribution
VibeMathed
registry · event recorded by
Nat Sothanaphan
human · human collaborator
ChatGPT
model · ai model contributor · OpenAI
Lineage and corrections
This event attributed to Nat Sothanaphan
This event attributed to ChatGPT