Check
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 Erdős AI wikiPrevious status: ContestedNew status: Withdrawn
- AI co-scientist: hypotheses validated in vitro on acute myeloid leukaemiaPrevious status: Not evaluatedNew status: Peer reviewed
- IMO 2025: 35 of 42 pointsPrevious status: Not evaluatedNew status: Peer reviewed
- AlphaProof NexusPrevious status: Not evaluatedNew status: Peer reviewed
- Sphere packing in dimension 8: Lean formalisation completed, final steps by GaussPrevious status: Not evaluatedNew status: Formally verified
20 of the 41 tracked announcements have no third-party evaluation found.
Status “Not evaluated”, observed from October 11 to 12, 2026. This does not mean nobody has checked.
- Formally verified 2
- Peer reviewed 11
- Under review 2
- Contested 3
- Withdrawn 3
- Not evaluated 20
The 41 announcements
41 announcements
No announcement matches these filters.
- Not evaluatedConditional integer-multiplication bound κ ≈ 0.00139Oct 11, 2026
- Peer reviewedAlphaProof NexusGoogle DeepMindOct 8, 2026
- Under reviewopenai/math: 719 manuscripts in 372 families 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, for neighbouring equationsSep 8, 2026
- ContestedFinite-time blow-up for 3D Navier–StokesOpenAISep 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 supplied by the author, written with intensive use of ClaudeSep 2026
- Under reviewTen advances by the Astra model · 1 partOpenAIAug 1, 2026
- Not evaluatedOEIS Open: general LLMs solve 147 of 492 Lean-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 internal OpenAI modelOpenAIMay 20, 2026
- Peer reviewedApexGO: AI-designed antibiotic peptidesMay 2026
- Not evaluatedEinsteinArena: a platform where AI agents tackle open problems with public verifiers · 16 partsTogether AIApr 13, 2026
- Not evaluatedErdős #1196: full solution announcedApr 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 tree amplitudes: formula proposed by GPT-5.2 ProOpenAIFeb 13, 2026
- Formally verifiedSphere packing in dimension 8: Lean formalisation completed, final steps by GaussMath, Inc.Feb 2026
- Not evaluatedGemini on ~700 “open” Erdős conjectures: 4 solved, 9 forgotten solutions foundGoogle 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 Erdős AI wikiJan 2026
- ContestedAI claims on Erdős problems judged to have major gaps by the Erdős AI wikiJan 2026
- WithdrawnErdős #333: first “autonomous” LLM solution claimed, already solved by Erdős and Newman 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": according to Edison, 79.4% of statements judged accurate and 7 discoveriesFutureHouseNov 4, 2025
- Not evaluatedMathematical exploration and discovery at scale: 67 problems with AlphaEvolveNov 3, 2025
- WithdrawnGPT-5 “solves 10 Erdős problems”: the solutions were already in the literatureOpenAIOct 12, 2025
- Peer reviewedGenerative-AI antibiotics against gonorrhoea and MRSAAug 2025
- Peer reviewedIMO 2025: 35 of 42 pointsGoogle DeepMindJul 21, 2025
- Not evaluatedIMO 2025: 35 of 42 pointsOpenAIJul 19, 2025
- Peer reviewedRentosertib: phase IIa trial in IPF, target and molecule from generative AIJun 3, 2025
- Not evaluatedRobin: ripasudil proposed for dry age-related macular degenerationFutureHouseMay 19, 2025
- Not evaluatedAlphaEvolve: 4×4 complex matrices in 48 multiplications, kissing number 593 in dimension 11Google DeepMindMay 14, 2025
- Peer reviewedAI co-scientist: hypotheses validated in vitro on acute myeloid leukaemiaGoogle 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 reviewedAlphaProof NexusOct 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 in 372 families from an unreleased internal modelOct 6, 2026
- ContestedFinite-time blow-up for 3D Navier–StokesSep 8, 2026
- Formally verifiedFermat's Last Theorem: complete Lean proof written by ClaudeSep 4, 2026
- Under reviewConnes rigidity conjecture reported false, with later independent work citedAug 1, 2026
- Under reviewTen advances by the Astra modelAug 1, 2026
- Peer reviewedErdős #90 unit-distance conjecture disproved by an internal 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 formalisation completed, 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 Erdős AI wikiJan 2026
- ContestedAI claims on Erdős problems judged to have major gaps by the Erdős AI wikiJan 2026
- WithdrawnErdős #333: first “autonomous” LLM solution claimed, already solved by Erdős and Newman 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”: the solutions were already in the literatureOct 12, 2025
- Peer reviewedGenerative-AI antibiotics against gonorrhoea and MRSAAug 2025
- Peer reviewedIMO 2025: 35 of 42 pointsJul 21, 2025
- Peer reviewedRentosertib: phase IIa trial in IPF, target and molecule from generative AIJun 3, 2025
- Peer reviewedAI co-scientist: hypotheses validated in vitro on acute myeloid leukaemiaFeb 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