Erdős #728 by GPT-5.2 Pro and Aristotle, formally written up
Status
Not evaluated
Recorded on · quantamagazine.org
- Announced
- Recordednot evaluated
- nextTo follow
What this status means
Source reading : Source read through an AI summary (level 2 of 3)
No DiscoverIA status yet; this does not mean nobody has checked it.
To move to “Under review”: a public review under way. To “Peer reviewed”: a journal publication or a review by named experts.
The gist
OpenAI (GPT-5.2 Pro) and Harmonic (Aristotle) claim a solution to Erdős problem #728, announced in January 2026 at the latest on 4 January 2026, written up in formal form. Status not yet evaluated.
Cite this entry
A single status snapshot since Oct 11, 2026: a citation always points to a dated snapshot.
Cite snapshot 1, Oct 11, 2026
APA citation with the dated link
BibTeX @misc, key discoveria-erdos-728-gpt52-aristotle-2026-01-r1
@misc{discoveria-erdos-728-gpt52-aristotle-2026-01-r1,
author = {{DiscoverIA}},
title = {Erdős #728 by GPT-5.2 Pro and Aristotle, formally written up},
howpublished = {DiscoverIA registry, entry erdos-728-gpt52-aristotle-2026-01},
note = {Status « Not evaluated », snapshot 1, recorded on October 11, 2026. new result},
year = {2026},
url = {https://discoveria.ai/en/fiche/erdos-728-gpt52-aristotle-2026-01/#releve-1},
urldate = {2026-10-11}
}Dated link opens this snapshot in the history
Text written by an AI (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
- OpenAI GPT-5.2 Pro ; Harmonic (Aristotle)
announced on Jan 2026 - Nature
- new result
- Field
- Mathematics (number theory)
- Checked by
- Aristotle (Harmonic's tool); human review not specified
- Sources (domains)
- 1 : 1 links only
- This entry
- AI draft, not reviewed
To understand
Analogy
It is like an author drafting a proof and then a proofreading program checking that each step really follows from the one before.
What it changes
If the solution holds, it would be an example of a division of labour: a language model proposes the reasoning and a proof tool checks its logical consistency. It would concern an open number theory question posed by Erdős.
What remains unclear
The logical-consistency certification comes from Aristotle, Harmonic's own tool, and Harmonic is one of the claimants. A human review is not specified, and the mention of an arXiv text comes from Quanta Magazine.
1 source.
For experts
Sources(domains)
- primairequantamagazine.orglink only, reading not recorded
Method
Status “not evaluated” recorded on 11 October 2026 from quantamagazine.org (page read through a model summary, quotation not rechecked).
Limits
The status source was read through a model summary; its quotation was not rechecked. DiscoverIA has recorded no independent evaluation as of this date.
It is like an author drafting a proof and then a proofreading program checking that each step really follows from the one before.
Status history
Only one observation so far.
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].