{"schema_version":"source-reader-v1","record":{"source_id":"erdos-unit-distances-announcement","versions":[{"work":{"authors":["OpenAI"],"kind":"research_project","publication":"project","publication_note":"Source publication and attributed assessments are distinct from independent OpenMath review.","ai_role":"self_reported","ai_note":"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.","artifacts":[],"published":{"value":"2026-05-20"}},"id":"erdos-unit-distances:source:announcement:v1","source_id":"erdos-unit-distances-announcement","title":"OpenAI unit-distance announcement","owner":"OpenAI","url":"https://openai.com/index/model-disproves-discrete-geometry-conjecture/","subject_scope":"The announcement dates the release and describes the AI discovery, external readers and separately credited exponent refinement.","revision":"2026-05-20","content_sha256":"a9595610782b273048827b1d87bc81b4ed99298722f08bd1f967c7ee469b9559","update_method":"Compare the exact source and publish a new immutable curation revision.","identifier_policy":"Stable source identity with exact versioned passages.","observed_on":"2026-10-13","source_updated_on":null,"rights":"metadata-link","license":"Original source license and document rights apply.","terms_url":"https://openai.com/index/model-disproves-discrete-geometry-conjecture/","attribution":"OpenAI","rights_note":"OpenMath supplies its own mathematical paraphrases and links; proof text is not republished.","check_interval_days":90}],"entries":[{"id":"erdos-unit-distances:entry:announcement:v1","source_version_id":"erdos-unit-distances:source:announcement:v1","item_id":"announcement","url":"https://openai.com/index/model-disproves-discrete-geometry-conjecture/","wording":"The announcement dates the release and describes the AI discovery, external readers and separately credited exponent refinement.","wording_kind":"paraphrase","locator":"The unit distance problem; mathematicians on the result","supersedes":null}],"problems":[{"slug":"erdos-unit-distances","title":"Erdős unit-distance problem","publication_version":6}],"selected_version_id":"erdos-unit-distances:source:announcement:v1","available_versions":[{"id":"erdos-unit-distances:source:announcement:v1","revision":"2026-05-20","observed_on":"2026-10-13","title":"OpenAI unit-distance announcement","publication":"project","content_sha256":"a9595610782b273048827b1d87bc81b4ed99298722f08bd1f967c7ee469b9559","used_in_current_publications":true}],"usages":[{"id":"source-use-7ec5959ae61dcd719d10","entry_id":"erdos-unit-distances:entry:announcement:v1","problem":{"slug":"erdos-unit-distances","title":"Erdős unit-distance problem","publication_version":6},"kind":"activity","title":"Keep follow-up refinements separately credited","claim":null,"fragment":"activity","assessment":null,"superseded":false,"formalization":null,"update":{"id":"erdos-unit-distances-refinement","title":"Keep follow-up refinements separately credited","kind":"research_direction","source_entry_ids":["erdos-unit-distances:entry:announcement:v1"],"summary":"The announcement attributes a δ = 0.014 refinement to Will Sawin, separately from the original model-generated argument.","limitation":"No exact formal target for that numerical refinement is claimed here.","related_claim_ids":["claim-unit-distances-positive-exponent"]}},{"id":"source-use-8ac3b16388233cf96cd7","entry_id":"erdos-unit-distances:entry:announcement:v1","problem":{"slug":"erdos-unit-distances","title":"Erdős unit-distance problem","publication_version":6},"kind":"milestone","title":"A model-generated construction refutes near-linear growth","claim":null,"fragment":"history","assessment":null,"superseded":false,"formalization":null,"update":null},{"id":"source-use-67f699c29243ca1b23b0","entry_id":"erdos-unit-distances:entry:announcement:v1","problem":{"slug":"erdos-unit-distances","title":"Erdős unit-distance problem","publication_version":6},"kind":"question","title":"Erdős unit-distance problem","claim":null,"fragment":"question","assessment":null,"superseded":false,"formalization":null,"update":null}],"linked_entries":[],"linked_sources":[]}}