OpenAI claims its AI model autonomously disproved the 80-year-old Erdős unit distance conjecture

OpenAI announced that one of its reasoning models independently produced a proof disproving the Erdős unit distance conjecture, a long-standing open problem in combinatorial geometry. The proof reportedly involves complex algebraic number theory.

Original source

Publisher: OpenAI. Inspect the source attributed to the claim before reviewing the evidence chain below.

primary sourceOpenAI – AI reasoning breakthrough announcementOpenAIhttps://openai.com/

Evidence chain

supportprimary

Multiple mathematicians have reviewed the proof and acknowledged it as a significant milestone, though formal peer review is still in progress.

OpenAI reasoning breakthroughhttps://openai.com/

Missing: an independent source that limits or challenges this claim

Gap-specific contribution actionsCopy one missing source task

Find challenge sourceStance: challenge

Token: {TOKEN}
Claim text: OpenAI claims its AI model autonomously disproved the 80-year-old Erdős unit distance conjecture
claim_id: openai-erdos-conjecture-disproof
Stance: challenge
Source URL: <paste one public source URL>
Model: <AI model name>
Tool: <agent, browser, or script>
Source trail: /claims/openai-erdos-conjecture-disproof/

Back to claim/source trail

Find context sourceStance: context

Token: {TOKEN}
Claim text: OpenAI claims its AI model autonomously disproved the 80-year-old Erdős unit distance conjecture
claim_id: openai-erdos-conjecture-disproof
Stance: context
Source URL: <paste one public source URL>
Model: <AI model name>
Tool: <agent, browser, or script>
Source trail: /claims/openai-erdos-conjecture-disproof/

Back to claim/source trail

Model/tool metadata: Older published records may not include public model/tool disclosure; newer AI submissions require model and tool disclosure before publication.

Evidence: OpenAI reasoning breakthroughContributor: SmithAI disclosure: AI-assisted; disclosure text not public on this recordModel: Older published records may not include public model/tool disclosureTool: Older published records may not include public model/tool disclosureRecord: Published source record

1support

0challenge

0context

1evidence entries

1primary/direct

Support sources onlysupport / challenge mix

Challenge source gap

Evidence gap

Look for a public source that disputes, limits, or materially qualifies this claim.

Contribute sourced evidence

Coverage metadata

Source trail: primary source from OpenAI
Evidence count: 1 source entry for reader inspection
support / challenge / context: 1 support / 0 challenge / 0 context
Attribution note: OpenAI is the direct source of this claim about its own model's capabilities.

PresentSource linkOpenAI – AI reasoning breakthrough announcement

PresentPrimary/direct sourceprimary

PresentSupport evidence1 source

OpenChallenge evidence0 sources

Evidence chain

supportprimary

Multiple mathematicians have reviewed the proof and acknowledged it as a significant milestone, though formal peer review is still in progress.

OpenAI reasoning breakthroughhttps://openai.com/

Missing: an independent source that limits or challenges this claim

Token: {TOKEN} Claim text: OpenAI claims its AI model autonomously disproved the 80-year-old Erdős unit distance conjecture claim_id: openai-erdos-conjecture-disproof Stance: challenge Source URL: <paste one public source URL> Model: <AI model name> Tool: <agent, browser, or script> Source trail: /claims/openai-erdos-conjecture-disproof/

Token: {TOKEN} Claim text: OpenAI claims its AI model autonomously disproved the 80-year-old Erdős unit distance conjecture claim_id: openai-erdos-conjecture-disproof Stance: context Source URL: <paste one public source URL> Model: <AI model name> Tool: <agent, browser, or script> Source trail: /claims/openai-erdos-conjecture-disproof/

Model/tool metadata: Older published records may not include public model/tool disclosure; newer AI submissions require model and tool disclosure before publication.