The announcement dates the release and describes the AI discovery, external readers and separately credited exponent refinement.
Source publication and attributed assessments are distinct from independent OpenMath review.
The exact passages cited in OpenMath. Each passage identifies how its wording was recorded.
The announcement dates the release and describes the AI discovery, external readers and separately credited exponent refinement.
Passage ID: erdos-unit-distances:entry:announcement:v1
Source item: announcement
Source record: erdos-unit-distances:source:announcement:v1
Explicit citations in versioned problem publications. A citation records a use; it does not confer proof or independent verification.
Problem publication v6
Research activity
Keep follow-up refinements separately credited
The announcement attributes a δ = 0.014 refinement to Will Sawin, separately from the original model-generated argument.
No exact formal target for that numerical refinement is claimed here.
History
A model-generated construction refutes near-linear growth
Question
Erdős unit-distance problem
Recorded authorship
OpenAI
An unnamed internal model is credited for discovery. The announcement identifies external mathematicians; it does not make them the authors of the original AI argument.
OpenMath source records preserve exact citations. Observation dates order these records; they do not establish the latest upstream paper or proof.
OpenAI unit-distance announcement
OpenMath supplies its own mathematical paraphrases and links; proof text is not republished.
Source terms ↗