Check
The status of an announcement and its date, with the latest changes.
Latest status changes
- AI claims on 11 Erdős problems classed as incorrect by the wikiPrevious status: ContestedNew status: Withdrawn
- AI co-scientist: hypotheses validated in vitro for AML, liver fibrosisPrevious status: Not evaluatedNew status: Peer reviewed
- IMO 2025: 35 of 42 (gold) for Gemini Deep Think, confirmed by the IMOPrevious status: Not evaluatedNew status: Peer reviewed
- 9 of 353 open Erdős problems solved in Lean, according to DeepMindPrevious status: Not evaluatedNew status: Peer reviewed
- Sphere packing in dimension 8: Lean proof done, final steps by GaussPrevious status: Not evaluatedNew status: Formally verifiedFormalisation: a computer check of a theorem already known, not a new result.
The finding
In checks made from October 11 to 18, 2026, DiscoverIA was tracking 41 announcements, 31 of them new results; 23 of these 31 are in mathematics and theoretical computer science, 11 of them centred on Erdős problems. None of these 23 had the status "formally verified", which requires a named third party to have checked a computer proof.
The other 10 announcements formalise theorems already known, or are competitions, systems, a benchmark or a literature search; two of these formalisations (Fermat-Wiles, sphere packing in dimension 8) have the status "formally verified". For the 8 new results outside mathematics, in biology, medicine, materials, physics or astronomy, the site records other forms of evaluation, such as peer review.
A status says where the evaluation stands, not whether the result is true: "not evaluated" means no third-party evaluation was found, not that the result is wrong.
Frequently cited announcements
| Announcement | Status | Checked |
|---|---|---|
| 9 of 353 open Erdős problems solved in Lean, according to DeepMindAnnounced Oct 8, 2026 | Peer reviewed | Oct 13, 2026 |
| 3D Navier–Stokes: finite-time blow-up claimed by an OpenAI systemAnnounced Sep 8, 2026 | Contested | Oct 11, 2026 |
| openai/math: 719 manuscripts from an unreleased internal modelAnnounced Oct 6, 2026 | Under review | Oct 11, 2026 |
| IMO 2025: 35 of 42 (gold) for Gemini Deep Think, confirmed by the IMOAnnounced Jul 21, 2025 | Peer reviewed | Oct 18, 2026 |
| AI co-scientist: hypotheses validated in vitro for AML, liver fibrosisAnnounced in Feb 2025 | Peer reviewed | Oct 18, 2026 |
| Fermat's Last Theorem: complete Lean proof written by ClaudeAnnounced Sep 4, 2026 | Formally verified | Oct 11, 2026 |
Fermat-Wiles is the formalisation of a theorem already known, not a discovery. A Lean proof supplied by its authors alone is not enough for "formally verified": a named third party must have checked it.
Cite and reuse
Texts and data are published under the CC BY 4.0 licence, with the attribution "DiscoverIA".
Each entry offers a dated citation in APA and BibTeX format.
The data can be downloaded as JSON. Data and API
Status changes and the feed are published as RSS. /rss.xml
Press contact
Antoine Olivier, contact@discoveria.ai
DiscoverIA is published by Antoine Olivier, within Kepler Circle, which holds the data. About DiscoverIA
Entries are drafted with AI tools from public sources. An entry the editor has not yet reviewed is marked "AI draft, not reviewed".
Frequently asked questions
What is DiscoverIA?
A free public registry of announced results obtained with AI. For each announcement it records who made it, when, and whether a third party has evaluated it, with the source and date of each check.
What does "formally verified" mean?
That a named third party has checked a computer proof (Lean, Coq, Isabelle). A proof supplied by the authors alone is not enough. This status mainly concerns mathematics; in biology, medicine or astronomy, the site records other forms of evaluation, such as peer review.
Does "not evaluated" mean the result is wrong?
No. It means DiscoverIA found no third-party evaluation. The result is declared neither right nor wrong.
How do I cite an entry?
Each entry gives its reference in APA and BibTeX format, with the status and the date it was checked.
How do I report an error?
Each entry has a link, "Report an error or suggest a source". The report goes to the editor.