Erdős problem #11: claim judged incorrect by the wiki (Aristotle, GPT)
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 Aristotle, GPT to Erdős problem #11 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-11-aristotle-gpt-1a-r1
@misc{discoveria-erdos-11-aristotle-gpt-1a-r1,
author = {{DiscoverIA}},
title = {Erdős problem #11: claim judged incorrect by the wiki (Aristotle, GPT)},
howpublished = {DiscoverIA registry, entry erdos-11-aristotle-gpt-1a},
note = {Status « Withdrawn », snapshot 1, recorded on October 12, 2026. new result},
year = {2026},
url = {https://discoveria.ai/en/fiche/erdos-11-aristotle-gpt-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 24, 2026 - Nature
- new result
- Field
- Mathematics (Erdős problem #11 (number theory ; additive basis))
- 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 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 2 of 521, by problem number
- Withdrawn : Erdős problem #7: proof judged incorrect by the wiki (Aristotle)
- Withdrawn : Erdős problem #11: claim judged incorrect by the wiki (Aristotle, GPT)
- Not evaluated : Erdős problem #12: partial result with a Lean proof, first and second parts solved, according to the wiki (DeepMind prover agent)
- Not evaluated : Erdős problem #12: partial result according to the wiki (GPT-5.4 Thinking)
- Not evaluated : Erdős n°16 : formalisation par Antigravity, Gemini 3.1 Pro (preuve : Chen (2023))
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].