Erdős problem #1040: solution to one part of the problem, the other part judged incorrect by the wiki (Aletheia)
Status
Contested
Recorded on · github.com
Outside the verification path
What this status means
Source reading : Source read word for word (level 3 of 3)
Sourced public objection, with no established refutation.
It stays “Contested” until a refutation is established. It would become “Withdrawn” if its author withdrew it or the reference source marked it incorrect.
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 Aletheia to Erdős problem #1040.
Cite this entry
The status has changed 1 times 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-1040-aletheia-1a-r1
@misc{discoveria-erdos-1040-aletheia-1a-r1,
author = {{DiscoverIA}},
title = {Erdős problem #1040: solution to one part of the problem, the other part judged incorrect by the wiki (Aletheia)},
howpublished = {DiscoverIA registry, entry erdos-1040-aletheia-1a},
note = {Status « Not evaluated », snapshot 1, recorded on October 12, 2026. new result},
year = {2026},
url = {https://discoveria.ai/en/fiche/erdos-1040-aletheia-1a/#releve-1},
urldate = {2026-10-12}
}Dated link opens this snapshot in the history
Cite snapshot 2, Oct 12, 2026
APA citation with the dated link
BibTeX @misc, key discoveria-erdos-1040-aletheia-1a-r2
@misc{discoveria-erdos-1040-aletheia-1a-r2,
author = {{DiscoverIA}},
title = {Erdős problem #1040: solution to one part of the problem, the other part judged incorrect by the wiki (Aletheia)},
howpublished = {DiscoverIA registry, entry erdos-1040-aletheia-1a},
note = {Status « Contested », snapshot 2, recorded on October 12, 2026. new result},
year = {2026},
url = {https://discoveria.ai/en/fiche/erdos-1040-aletheia-1a/#releve-2},
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
- Aletheia, selon le wiki IA d'Erdős
announced on Feb 1, 2026 - Nature
- new result
- Field
- Mathematics (Erdős problem #1040 (analysis))
- Wiki category
- AI standalone (IA seule ; littérature comparable inconnue ; implication humaine non significative)
- Wiki verdict
- « Solution to one part of problem; incorrect solution to other part » : 🟡 progrès partiel (légende du wiki) ; travail incorrect (légende du wiki)
- According to erdosproblems.com
- problem still open (recorded on Oct 12, 2026)
- Checked by
- no verifier identified
- 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 “contested” recorded on 12 October 2026 from github.com (page read, quotation checked word for word). History: 2 dated observations, oldest first.
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 436 of 521, by problem number
- Not evaluated : Erdős problem #1039: partial result with a Lean proof according to the wiki (Aristotle, Claude Opus 4.6)
- Not evaluated : Erdős n°1039 : formalisation par Codex, GPT-5.5 (preuve : GPT-5.5 Pro (2026))
- Not evaluated : Erdős problem #1039: partial result according to the wiki (GPT-5.5 Pro)
- Contested : Erdős problem #1040: solution to one part of the problem, the other part judged incorrect by the wiki (Aletheia)
- Contested : Erdős problem #1041: argument judged by the wiki to have major gaps (Claude Opus 4.6, Gemini 3.1 Pro, GPT-5.4)
- Contested : Erdős problem #1041: argument judged by the wiki to have major gaps (GPT-5.4 Thinking)
- Not evaluated : Erdős problem #1043: new proof in Lean according to the wiki (Aristotle)
Status history
The numbers link the band (order of observations) and the thread (most recent first). Band segments have equal widths, not a time scale.
- 02
Not evaluatedbecomesContestedCurrent status
reclassified from not evaluated to contested based on the wiki's text
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].