Erdős problem #616: proof judged incorrect by the wiki (Claude Sonnet 4.5, Gemini 3 Pro, GPT-5.2 Pro)
Status
Withdrawn
Recorded on · github.com
Outside the verification path
- Announced
- Wiki frozen
- Recordedwithdrawn
What this status means
Source reading : Source read word for word (level 3 of 3)
Withdrawn or abandoned by its author, or marked incorrect by the reference source.
Dated archive: status recorded on the wiki frozen on Jun 30, 2026
The gist
The “AI contributions to Erdős problems” wiki, frozen on 30 June 2026, lists an AI contribution to Erdős problem #616 as “Incorrect proof found”.
Cite this entry
A single status snapshot since Oct 12, 2026: a citation always points to a dated snapshot.
Cite snapshot 1, Oct 12, 2026
APA citation with the dated link
BibTeX @misc, key discoveria-erdos-616-claude-sonnet-4-5-gemini-3-pro-gpt-5-2-pro-1a-r1
@misc{discoveria-erdos-616-claude-sonnet-4-5-gemini-3-pro-gpt-5-2-pro-1a-r1,
author = {{DiscoverIA}},
title = {Erdős problem #616: proof judged incorrect by the wiki (Claude Sonnet 4.5, Gemini 3 Pro, GPT-5.2 Pro)},
howpublished = {DiscoverIA registry, entry erdos-616-claude-sonnet-4-5-gemini-3-pro-gpt-5-2-pro-1a},
note = {Status « Withdrawn », snapshot 1, recorded on October 12, 2026. new result},
year = {2026},
url = {https://discoveria.ai/en/fiche/erdos-616-claude-sonnet-4-5-gemini-3-pro-gpt-5-2-pro-1a/#releve-1},
urldate = {2026-10-12}
}Dated link opens this snapshot in the history
Text produced by an automatic template (DiscoverIA pipeline), on Reviewed by: nobody yetReport an error
What has not been reviewed?
The status and its sources come from the registry; only the explanatory text has not been reviewed. A reported error is corrected, then the text is reviewed.
The status and its sources come from the registry; only the explanatory text has not been reviewed. A reported error is corrected, then the text is reviewed.
Key facts
- Claimed by
- Not shown (withdrawn entry)
announced on Jan 18, 2026 - Nature
- new result
- Field
- Mathematics (Erdős problem #616 (graph theory))
- Wiki category
- AI standalone (IA seule ; littérature comparable inconnue ; implication humaine non significative)
- Wiki verdict
- « Incorrect proof found » : travail incorrect (légende du wiki)
- According to erdosproblems.com
- problem still open (recorded on Oct 12, 2026)
- Checked by
- wiki maintainers (red flag)
- Sources (domains)
- 2 : 1 read word for word, 1 links only
- This entry
- AI draft, not reviewed
For experts
Sources(domains)
- primairegithub.compage read word for word · consulted on Oct 12, 2026
- listeerdosproblems.comlink only, reading not recorded
Method
Status “withdrawn” recorded on 12 October 2026 from github.com (page read, quotation checked word for word).
Limits
The status may change if a new source is published; the dated history stays visible.
In the same set
AI contributions to Erdős problems (wiki by T. Tao, frozen on 30 June 2026) · entry 242 of 521, by problem number
- Not evaluated : Erdős problem #603: full solution according to the wiki (GPT-5.4 Pro)
- Not evaluated : Erdős problem #610: full solution with a Lean proof, already implicit in the literature, according to the wiki (Aristotle, GPT-5.4 Pro)
- Not evaluated : Erdős n°613 : formalisation par GPT Pro (preuve : Pikhurko (2001))
- Withdrawn : Erdős problem #616: proof judged incorrect by the wiki (Claude Sonnet 4.5, Gemini 3 Pro, GPT-5.2 Pro)
- Not evaluated : Erdős n°618 : formalisation par Aristotle (preuve : Alon)
- Not evaluated : Erdős problem #619: full solution with a Lean proof according to the wiki (Claude Fable 5, Codex, GPT-5.5)
- Not evaluated : Erdős n°621 : formalisation par Aristotle (preuve : Norin and Sun (2016))
Status history
Only one observation so far.
- 01
First observation:WithdrawnCurrent status
marked incorrect by the wiki (red flag, “Incorrect work”)
Source: github.comread word for word
An observation is added; none is ever erased.
Report an error or suggest a source
Thank you, your message was sent.
Sending failed. Try again, or write to [email protected].