Erdős problem #388: proof judged incorrect by the wiki (Claude, Gemini, GPT-5.4)
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 #388 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-388-claude-gemini-gpt-5-4-1d-r1
@misc{discoveria-erdos-388-claude-gemini-gpt-5-4-1d-r1,
author = {{DiscoverIA}},
title = {Erdős problem #388: proof judged incorrect by the wiki (Claude, Gemini, GPT-5.4)},
howpublished = {DiscoverIA registry, entry erdos-388-claude-gemini-gpt-5-4-1d},
note = {Status « Withdrawn », snapshot 1, recorded on October 12, 2026. new result},
year = {2026},
url = {https://discoveria.ai/en/fiche/erdos-388-claude-gemini-gpt-5-4-1d/#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
- un contributeur humain avec Claude, Gemini, GPT-5.4, selon le wiki IA d'Erdős (Name replaced by a role)
announced on Mar 12, 2026 - Nature
- new result
- Field
- Mathematics (Erdős problem #388 (number theory))
- Wiki category
- AI collaborating with humans (IA en collaboration avec des humains ; implication humaine 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 148 of 521, by problem number
- Not evaluated : Erdős problem #379: new proof according to the wiki (Seed Prover 1.5)
- Not evaluated : Erdős problem #380: full solution according to the wiki (GPT-5.4 Pro)
- Not evaluated : Erdős problem #387: partial results found in the literature according to the wiki (ChatGPT Deep research)
- Withdrawn : Erdős problem #388: proof judged incorrect by the wiki (Claude, Gemini, GPT-5.4)
- Not evaluated : Erdős problem #390: candidate partial result according to the wiki (GPT-5.5 Pro)
- Not evaluated : Erdős n°392 : formalisation par Various (preuve : Tao (2026))
- Not evaluated : Erdős problem #393: conditional partial result according to the wiki (GPT-5.5 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].