Erdős problem #333: claimed proof judged incorrect by the wiki, literature proof not found (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 by GPT-5.2 Pro to Erdős problem #333.
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-333-gpt-5-2-pro-2a-r1
@misc{discoveria-erdos-333-gpt-5-2-pro-2a-r1,
author = {{DiscoverIA}},
title = {Erdős problem #333: claimed proof judged incorrect by the wiki, literature proof not found (GPT-5.2 Pro)},
howpublished = {DiscoverIA registry, entry erdos-333-gpt-5-2-pro-2a},
note = {Status « Withdrawn », snapshot 1, recorded on October 12, 2026. literature search},
year = {2026},
url = {https://discoveria.ai/en/fiche/erdos-333-gpt-5-2-pro-2a/#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 Dec 25, 2025 - Nature
- literature search
- Field
- Mathematics (Erdős problem #333 (number theory ; additive basis))
- Wiki category
- Literature search (contribution secondaire : recherche bibliographique)
- Wiki verdict
- « Incorrect proof claimed; literature proof not found » : travail incorrect (légende du wiki)
- According to erdosproblems.com
- problem: disproved, proof formalised in Lean (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 116 of 521, by problem number
- Not evaluated : Erdős problem #330: full solution according to the wiki (GPT-5.5 Pro)
- Not evaluated : Erdős n°331 : formalisation par Aristotle (preuve : Ruzsa)
- Not evaluated : Erdős problem #333: full solution found in the literature according to the wiki (Aletheia)
- Withdrawn : Erdős problem #333: claimed proof judged incorrect by the wiki, literature proof not found (GPT-5.2 Pro)
- Not evaluated : Erdős n°337 : formalisation par Aristotle (preuve : Ruzsa and Turjányi (1985))
- Not evaluated : Erdős problem #339: full solution found in the literature according to the wiki (GPT-5)
- Not evaluated : Erdős problem #342: partial result according to the wiki (GPT-5.2 Pro, GPT-5.4 Pro)
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].