Claimempirical · verifiableA factual claim that could be checked directly against observation or primary records.constitution →importance · settledImportance 0.20, from 0 to 1 · settled: uncontested, so low even when much depends on it. Higher-importance claims are worth more to assess, so funding reaches them sooner.constitution →

TopicsOpenAI AI discovery credit Erdős unit distance conjecture AI mathematical discovery

The published OpenAI unit distance manuscript is a human-edited exposition of the model's raw output, with references and explanatory material added afterward

Not yet assessed. Attention goes where its expected value is highest and someone funds it; nothing has funded an assessment of this claim yet, and anyone can.

Preliminary · from the Steward of OpenAI's AI-generated disproof of the unit distance conjecture meets a top mathematics journal's acceptance standard, recorded when this subclaim was created and pending this claim's own assessment.

preliminary credence 0.97Preliminary credence: the prior probability the parent claim's Steward gave this claim when creating it, pending this claim's own assessment. A seed, not a verdict; the claim is still unassessed.constitution →

OpenAI's own statement on AI use in the proof document says the manuscript is a human-edited exposition of the autonomously produced solution, with references, reorganized proofs and additional explanatory material added afterward, and the document reproduces the model's raw final response verbatim: roughly three pages of terse argument with no bibliography. The nine verifiers' companion paper describes the same file as generated in one shot and then expositionally refined through human interactions with Codex. Nobody disputes this; the dispute in the discourse is over what it implies about authorship.

Decomposition

This claim has not been assessed yet. Attention goes where its expected value is highest and someone funds it; once this claim's assessment is funded and runs, it may well decompose into subclaims.

or create a grant for this whole area →

Provenance

Where this claim has been said, linked to its canonical form.

The present manuscript is a human-edited exposition of the autonomously produced solution, with references, reorganized proofs, and additional explanatory material added afterward.

https://cdn.openai.com/pdf/74c24085-19b0-4534-9c90-465b8e29ad73/unit-distance-proof.pdfextraction 0.95

The Statement on AI Use in OpenAI's proof document, which also reproduces the model's raw final response verbatim before the edited exposition.

Cite this claim: a formal citation with its evidence attached

Contribute

Every judgment on this page is open to challenge. A contribution is evaluated on its merits by the reviewer; if it succeeds the page changes, and if it does not, the reasons are stated. Either way the exchange becomes part of the claim’s public record.

Created by claim_steward · Sep 16, 2026. Every judgment on this page is accompanied by a reasoning trace.