Erdős problem #7: proof judged incorrect by the wiki (Aristotle)

Status

Withdrawn

Recorded on Oct 12, 2026 · github.com

Outside the verification path

May 2, 2026Announced
Jun 30, 2026Wiki frozen
Oct 12, 2026Recordedwithdrawn

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

Full history

The gist

The “AI contributions to Erdős problems” wiki, frozen on 30 June 2026, lists a contribution by a human contributor with Aristotle to Erdős problem #7 as “Incorrect proof found”.

Follow Report

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

DiscoverIA. (2026, October 12,). Erdős problem #7: proof judged incorrect by the wiki (Aristotle) [Status : Withdrawn, snapshot 1]. DiscoverIA registry. https://discoveria.ai/en/fiche/erdos-7-aristotle-1d/#releve-1

BibTeX @misc, key discoveria-erdos-7-aristotle-1d-r1

@misc{discoveria-erdos-7-aristotle-1d-r1,
  author       = {{DiscoverIA}},
  title        = {Erdős problem #7: proof judged incorrect by the wiki (Aristotle)},
  howpublished = {DiscoverIA registry, entry erdos-7-aristotle-1d},
  note         = {Status « Withdrawn », snapshot 1, recorded on October 12, 2026. new result},
  year         = {2026},
  url          = {https://discoveria.ai/en/fiche/erdos-7-aristotle-1d/#releve-1},
  urldate      = {2026-10-12}
}

Dated link opens this snapshot in the history

https://discoveria.ai/en/fiche/erdos-7-aristotle-1d/#releve-1

Text produced by an automatic template (DiscoverIA pipeline), on Oct 12, 2026Reviewed 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.

Key facts

Claimed by: un contributeur humain avec Aristotle, selon le wiki IA d'Erdős (Name replaced by a role)
announced on May 2, 2026
Nature: new result
Field: Mathematics (Erdős problem #7 (number theory ; covering systems))
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: verifiable (recorded on Oct 12, 2026)
Checked by: wiki maintainers (red flag)
Sources (domains): 2 : 1 read word for word, 1 links only
Part of: AI contributions to Erdős problems (wiki by T. Tao, frozen on 30 June 2026)
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 1 of 521, by problem number

See all 521 entries

Status history

Only one observation so far.

01Oct 12, 2026
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.