Registry
The status of an announcement and its date, with the latest changes.
Latest status changes
Follow by RSS- 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 verified
30 of the 51 tracked announcements have no third-party evaluation found.
Status “Not evaluated”, observed from October 11 to 24, 2026. The result is declared neither right nor wrong.
The registry holds 962 entries: they cover the 51 tracked announcements, the 389 parts that break some of them down, and the dated archive of the "AI contributions to Erdős problems" wiki (522 entries).
- Formally verified 2
- Peer reviewed 11
- Under review 2
- Contested 3
- Withdrawn 3
- Not evaluated 30
The 51 announcements
51 announcements
No announcement matches these filters.
- Not evaluatedOrdered Variable Word theorem: first-order part announced as determinedOct 20, 2026
- Not evaluatedFrankl, Ota and Tokushige's conjecture: announced counterexample, found by ChatGPT 6.1 SolOct 20, 2026
- Not evaluatedDimension of posets excluding a standard example: new bounds found by ChatGPT-6 AstraOct 17, 2026
- Not evaluatedMaximum number of Hamiltonian cycles in a tournament: announced proof of a conjecture of WormaldOct 16, 2026
- Not evaluatedCounterexamples to the ordinary Fried conjecture near hyperbolic metricsOct 15, 2026
- Not evaluatedPrimitive rootsOct 14, 2026
- Not evaluatedLie groups: announced proof that every Lie group can be realised by permutations of a countable setOct 13, 2026
- Not evaluatedCentral limit theorem for the high-temperature SYK model: announced proof, obtained with ChatGPT and partly formalised in LeanOct 13, 2026
- Not evaluatedTorus polynomials and the Majority function: announced resolution of two open problems, found and formalised in Lean with GPT-6 AstraOct 13, 2026
- Not evaluatedA quasi-Riemann hypothesis for Dedekind zeta functionsOct 12, 2026
- Not evaluatedConditional integer-multiplication bound κ ≈ 0.00139Oct 11, 2026
- Peer reviewed9 of 353 open Erdős problems solved in Lean, according to DeepMindGoogle DeepMindOct 8, 2026
- Under reviewopenai/math: 719 manuscripts from an unreleased internal model · 372 partsOpenAIOct 6, 2026
- Not evaluatedDerived invariance of the signature and Hodge numbers of fourfoldsSep 26, 2026
- Not evaluatedStarWhisper: eight very early supernova candidates flagged by AI agentsSep 20, 2026
- Not evaluatedBlow-ups claimed with Lean proofs by Buckmaster and AlpögeSep 8, 2026
- Contested3D Navier–Stokes: finite-time blow-up claimed by an OpenAI systemOpenAISep 8, 2026
- Formally verifiedFermat's Last Theorem: complete Lean proof written by ClaudeAnthropicSep 4, 2026
- Not evaluatedGardam's Ã₂ lattice has no unique products: Lean proof by the authorSep 2026
- Under reviewTen advances by the Astra model (non-sofic group, Connes, Erdős) · 1 partOpenAIAug 1, 2026
- Not evaluatedOEIS Open: general LLMs solve 147 of 492 formalised OEIS conjecturesAug 2026
- Not evaluatedErdős #90 also listed as solved by Claude MythosAnthropicMay 26, 2026
- Peer reviewedErdős #90 unit-distance conjecture disproved by an OpenAI modelOpenAIMay 20, 2026
- Peer reviewedApexGO: AI-designed antibiotic peptidesMay 2026
- Not evaluatedEinsteinArena: AI agents on open problems with public verifiers · 16 partsTogether AIApr 13, 2026
- Not evaluatedErdős #1196: full solution announced with GPT-5.4 ProApr 13, 2026
- Not evaluatedErdős #125: complete Lean solution claimed by a DeepMind prover agentGoogle DeepMindMar 30, 2026
- Peer reviewedThe AI Scientist: an end-to-end ML research pipelineSakana AIMar 25, 2026
- Not evaluatedNon-zero single-minus gluon amplitudes: formula by GPT-5.2 ProOpenAIFeb 13, 2026
- Formally verifiedSphere packing in dimension 8: Lean proof done, final steps by GaussMath, Inc.Feb 2026
- Not evaluated~700 Erdős conjectures: 4 solved, 9 found already solved, per DeepMindGoogle DeepMindJan 2026
- Not evaluatedErdős #205, #457, #650 and #397 by Aristotle, GPT-5.x and AletheiaOpenAIJan 2026
- Not evaluatedErdős #728 by GPT-5.2 Pro and Aristotle, formally written upHarmonic, OpenAIJan 2026
- WithdrawnAI claims on 11 Erdős problems classed as incorrect by the wikiJan 2026
- ContestedAI claims on Erdős problems with major gaps, per the Erdős AI wikiJan 2026
- WithdrawnErdős #333: “autonomous” LLM solution claimed, already solved in 1977Dec 25, 2025
- Not evaluatedErdős #1026: Lean solution by AristotleHarmonicDec 7, 2025
- Peer reviewedAlphaProof: olympiad-level formal reasoningGoogle DeepMindNov 12, 2025
- Not evaluatedKosmos, an autonomous “AI scientist”: 7 discoveries, per EdisonFutureHouseNov 4, 2025
- Not evaluatedAlphaEvolve: mathematical exploration and discovery on 67 problemsNov 3, 2025
- WithdrawnGPT-5 “solves 10 Erdős problems”: solutions already in the literatureOpenAIOct 12, 2025
- Peer reviewedGenerative-AI antibiotics against gonorrhoea and MRSAAug 2025
- Peer reviewedIMO 2025: 35 of 42 (gold) for Gemini Deep Think, confirmed by the IMOGoogle DeepMindJul 21, 2025
- Not evaluatedIMO 2025: 35 of 42 points (gold level) announced by OpenAIOpenAIJul 19, 2025
- Peer reviewedRentosertib: phase IIa in IPF, target and molecule from generative AIJun 3, 2025
- Not evaluatedRobin: ripasudil proposed for dry age-related macular degenerationFutureHouseMay 19, 2025
- Not evaluatedAlphaEvolve: complex 4×4 matrices in 48 multiplicationsGoogle DeepMindMay 14, 2025
- Peer reviewedAI co-scientist: hypotheses validated in vitro for AML, liver fibrosisGoogle DeepMindFeb 2025
- Peer reviewedAlphaGeometry: 25 of 30 IMO geometry problemsGoogle DeepMindJan 17, 2024
- Peer reviewedFunSearch: a 512-element cap set in dimension 8Google DeepMindDec 14, 2023
- ContestedGNoME and A-Lab: 2.2 million new crystal structures, novelty contestedGoogle DeepMindNov 2023
An announcement counts once, even if it releases a batch. The Erdős archive is counted separately: 521 rows.
Entries with a DiscoverIA status (46)
- Peer reviewed9 of 353 open Erdős problems solved in Lean, according to DeepMindOct 8, 2026
- WithdrawnThree manuscripts withdrawn after a sign errorOct 7, 2026
- ContestedThe Partition Principle does not imply ChoiceOct 6, 2026
- Under reviewopenai/math: 719 manuscripts from an unreleased internal modelOct 6, 2026
- Contested3D Navier–Stokes: finite-time blow-up claimed by an OpenAI systemSep 8, 2026
- Formally verifiedFermat's Last Theorem: complete Lean proof written by ClaudeSep 4, 2026
- Under reviewConnes rigidity conjecture: OpenAIAug 1, 2026
- Under reviewTen advances by the Astra model (non-sofic group, Connes, Erdős)Aug 1, 2026
- Peer reviewedErdős #90 unit-distance conjecture disproved by an OpenAI modelMay 20, 2026
- WithdrawnErdős problem #7: proof judged incorrect by the wiki · Dated archiveMay 2, 2026
- Peer reviewedApexGO: AI-designed antibiotic peptidesMay 2026
- ContestedErdős problem #1041: argument judged by the wiki to have major gaps · Dated archiveApr 22, 2026
- ContestedErdős problem #503: argument judged by the wiki to have major gaps · Dated archiveApr 22, 2026
- WithdrawnErdős problem #411: proof judged incorrect by the wiki · Dated archiveApr 3, 2026
- Peer reviewedThe AI Scientist: an end-to-end ML research pipelineMar 25, 2026
- ContestedErdős problem #1041: argument judged by the wiki to have major gaps · Dated archiveMar 17, 2026
- WithdrawnErdős problem #388: proof judged incorrect by the wiki · Dated archiveMar 12, 2026
- WithdrawnErdős problem #848: proof judged incorrect by the wiki · Dated archiveMar 12, 2026
- ContestedErdős problem #358: argument judged by the wiki to have major gaps · Dated archiveFeb 13, 2026
- ContestedErdős problem #358: argument judged by the wiki to have major gaps · Dated archiveFeb 11, 2026
- ContestedErdős problem #851: confusion with another problem noted by the wiki, partial results found in the literature · Dated archiveFeb 5, 2026
- ContestedErdős problem #1040: solution to one part of the problem, the other part judged incorrect by the wiki · Dated archiveFeb 1, 2026
- ContestedErdős problem #1105: full solution found in the literature, with some wrong references noted by the wiki · Dated archiveFeb 1, 2026
- Formally verifiedSphere packing in dimension 8: Lean proof done, final steps by GaussFeb 2026
- WithdrawnErdős problem #647: proof judged incorrect by the wiki · Dated archiveJan 28, 2026
- WithdrawnErdős problem #11: claim judged incorrect by the wiki · Dated archiveJan 24, 2026
- ContestedErdős problem #963: argument judged by the wiki to have major gaps · Dated archiveJan 22, 2026
- WithdrawnErdős problem #233: conditional proof judged incorrect by the wiki · Dated archiveJan 18, 2026
- WithdrawnErdős problem #616: proof judged incorrect by the wiki · Dated archiveJan 18, 2026
- WithdrawnErdős problem #888: proof judged incorrect by the wiki · Dated archiveJan 18, 2026
- WithdrawnErdős problem #51: proof judged incorrect by the wiki · Dated archiveJan 11, 2026
- WithdrawnErdős problem #1044: claim judged incorrect by the wiki · Dated archiveJan 5, 2026
- WithdrawnAI claims on 11 Erdős problems classed as incorrect by the wikiJan 2026
- ContestedAI claims on Erdős problems with major gaps, per the Erdős AI wikiJan 2026
- WithdrawnErdős #333: “autonomous” LLM solution claimed, already solved in 1977Dec 25, 2025
- WithdrawnErdős problem #333: claimed proof judged incorrect by the wiki, literature proof not found · Dated archiveDec 25, 2025
- ContestedErdős problem #330: partial results found in the literature with inaccuracies noted by the wiki, literature proof not found · Dated archiveDec 19, 2025
- Peer reviewedAlphaProof: olympiad-level formal reasoningNov 12, 2025
- WithdrawnGPT-5 “solves 10 Erdős problems”: solutions already in the literatureOct 12, 2025
- Peer reviewedGenerative-AI antibiotics against gonorrhoea and MRSAAug 2025
- Peer reviewedIMO 2025: 35 of 42 (gold) for Gemini Deep Think, confirmed by the IMOJul 21, 2025
- Peer reviewedRentosertib: phase IIa in IPF, target and molecule from generative AIJun 3, 2025
- Peer reviewedAI co-scientist: hypotheses validated in vitro for AML, liver fibrosisFeb 2025
- Peer reviewedAlphaGeometry: 25 of 30 IMO geometry problemsJan 17, 2024
- Peer reviewedFunSearch: a 512-element cap set in dimension 8Dec 14, 2023
- ContestedGNoME and A-Lab: 2.2 million new crystal structures, novelty contestedNov 2023