Erdős problem #1044: claim judged incorrect by the wiki (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 #1044 as “Incorrect claim made”.
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-1044-gpt-5-2-pro-1a-r1
@misc{discoveria-erdos-1044-gpt-5-2-pro-1a-r1,
author = {{DiscoverIA}},
title = {Erdős problem #1044: claim judged incorrect by the wiki (GPT-5.2 Pro)},
howpublished = {DiscoverIA registry, entry erdos-1044-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-1044-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 5, 2026 - Nature
- new result
- Field
- Mathematics (Erdős problem #1044 (analysis))
- Wiki category
- AI standalone (IA seule ; littérature comparable inconnue ; implication humaine non significative)
- Wiki verdict
- « Incorrect claim made » : travail incorrect (légende du wiki)
- According to erdosproblems.com
- problem: solved, 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 443 of 521, by problem number
- Not evaluated : Erdős problem #1043: new proof according to the wiki (GPT)
- Not evaluated : Erdős problem #1043: full solution found in the literature according to the wiki (GPT-5)
- Not evaluated : Erdős n°1044 : formalisation par Aristotle (preuve : Tang (2026))
- Withdrawn : Erdős problem #1044: claim judged incorrect by the wiki (GPT-5.2 Pro)
- Not evaluated : Erdős problem #1047: new proof in Lean according to the wiki (Aristotle)
- Not evaluated : Erdős problem #1048: proof in Lean, a special case of a result of Pommerenke, according to the wiki (Aristotle)
- Not evaluated : Erdős n°1048 : formalisation par Aristotle (preuve : Pommerenke (1961))
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].