Erdős problem #411: proof judged incorrect by the wiki (Claude)
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
A proof put forward on 3 April 2026 for Erdős problem #411, by a human contributor working with Claude, was classed as incorrect by the wiki that tracks these contributions.
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-411-claude-1d-r1
@misc{discoveria-erdos-411-claude-1d-r1,
author = {{DiscoverIA}},
title = {Erdős problem #411: proof judged incorrect by the wiki (Claude)},
howpublished = {DiscoverIA registry, entry erdos-411-claude-1d},
note = {Status « Withdrawn », snapshot 1, recorded on October 12, 2026. new result},
year = {2026},
url = {https://discoveria.ai/en/fiche/erdos-411-claude-1d/#releve-1},
urldate = {2026-10-12}
}Dated link opens this snapshot in the history
Text written by an AI (DiscoverIA pipeline), on Reviewed by: Antoine Olivier, Oct 13, 2026Report an error
What has not been reviewed?
The status and its sources come from the registry; the explanatory text has been reviewed by a human.
The status and its sources come from the registry; the explanatory text has been reviewed by a human.
Key facts
- Claimed by
- un contributeur humain avec Claude, selon le wiki IA d'Erdős (Name replaced by a role)
announced on Apr 3, 2026 - Nature
- new result
- Field
- Mathematics (Erdős problem #411 (number theory ; iterated functions))
- 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
- Reviewed by Antoine Olivier, Oct 13, 2026
To understand
Analogy
Like an exam answer handed in and then crossed out by the marker: the question remains, the attempt does not count.
What it changes
On the substance, nothing changes: problem #411, a number theory question about iterated functions (a function applied again and again to its own output), was still open on erdosproblems.com as of 12 October 2026. The entry records an attempt made with AI that was judged incorrect, tracked like the successes.
What remains unclear
The sources read do not identify the error behind the classification. The wiki has been frozen since 30 June 2026, so a correction published since then would not appear there.
2 sources.
For experts
Sources(domains)
- primairegithub.compage read word for word · consulted on Oct 12, 2026
- listeerdosproblems.comlink only, reading not recorded
Method
The maintainers of the "AI contributions to Erdős problems" wiki gave it the red flag "Incorrect work"; it falls under their category 1(d): AI collaborating with humans, with significant human involvement. The problem also appears in a grouped entry of incorrect claims, which may cover the same attempt. 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.
Like an exam answer handed in and then crossed out by the marker: the question remains, the attempt does not count.
In the same set
AI contributions to Erdős problems (wiki by T. Tao, frozen on 30 June 2026) · entry 162 of 521, by problem number
- Not evaluated : Erdős problem #400: candidate partial result according to the wiki (GPT)
- Not evaluated : Erdős problem #401: full solution with a Lean proof and solution to a variant problem according to the wiki (Aristotle, GPT-5.2 Pro)
- Not evaluated : Erdős n°403 : formalisation par AxiomProver (preuve : Unspecified)
- Withdrawn : Erdős problem #411: proof judged incorrect by the wiki (Claude)
- Not evaluated : Erdős problem #415: partial result according to the wiki (GPT-5.4 Pro)
- Not evaluated : Erdős n°418 : formalisation par Aristotle, GPT (preuve : Browkin and Schinzel (1995))
- Not evaluated : Erdős n°419 : formalisation par Aristotle (preuve : Sawhney (2025))
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].