Erdős problem #963: argument judged by the wiki to have major gaps (Gemini 3 Pro)
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 Gemini 3 Pro to Erdős problem #963 as “Argument with major gaps made”.
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-963-gemini-3-pro-1a-r1
@misc{discoveria-erdos-963-gemini-3-pro-1a-r1,
author = {{DiscoverIA}},
title = {Erdős problem #963: argument judged by the wiki to have major gaps (Gemini 3 Pro)},
howpublished = {DiscoverIA registry, entry erdos-963-gemini-3-pro-1a},
note = {Status « Withdrawn », snapshot 1, recorded on October 12, 2026. new result},
year = {2026},
url = {https://discoveria.ai/en/fiche/erdos-963-gemini-3-pro-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-963-gemini-3-pro-1a-r2
@misc{discoveria-erdos-963-gemini-3-pro-1a-r2,
author = {{DiscoverIA}},
title = {Erdős problem #963: argument judged by the wiki to have major gaps (Gemini 3 Pro)},
howpublished = {DiscoverIA registry, entry erdos-963-gemini-3-pro-1a},
note = {Status « Contested », snapshot 2, recorded on October 12, 2026. new result},
year = {2026},
url = {https://discoveria.ai/en/fiche/erdos-963-gemini-3-pro-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
- Gemini 3 Pro, selon le wiki IA d'Erdős
announced on Jan 22, 2026 - Nature
- new result
- Field
- Mathematics (Erdős problem #963 (number theory))
- Wiki category
- AI standalone (IA seule ; littérature comparable inconnue ; implication humaine non significative)
- Wiki verdict
- « Argument with major gaps 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 “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 391 of 521, by problem number
- Not evaluated : Erdős problem #958: new proof in Lean according to the wiki (Aristotle)
- Not evaluated : Erdős n°958 : formalisation par Seed Prover 1.5 (preuve : Clemen, Dumitrescu, and Liu (2025))
- Not evaluated : Erdős problem #960: full solution according to the wiki (OpenAI internal model)
- Contested : Erdős problem #963: argument judged by the wiki to have major gaps (Gemini 3 Pro)
- Not evaluated : Erdős n°964 : formalisation par Antigravity, Aristotle, Gemini (preuve : Eberhard (2025))
- Not evaluated : Erdős problem #965: full solution found in the literature according to the wiki (GPT)
- Not evaluated : Erdős problem #966: full solution with a Lean proof 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
WithdrawnbecomesContestedCurrent status
reclassified from withdrawn to contested based on the wiki's text
Source: github.comread word for word
- 01
First observation:Withdrawn
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].