Skip to content
FR · Français
Get started

Language: English · Français

Understand

Timeline

Each announcement of the registry on its date, from the oldest (left) to the newest (right). Scroll the timeline, or click the real-time map to jump to a spot.

42 announcements tracked, from Nov 2023 to Oct 2026.

Statuses of the announcements, with their countFormally verified2Peer reviewed11Under review2Contested3Withdrawn3Not evaluated21dated to the month
  1. Nov 2023 · 1
    GNoME and A-Lab: 2.2 million new crystal structures, novelty contestedContested
  2. Dec · 1
    FunSearch: a 512-element cap set in dimension 8Peer reviewed
  3. Jan 2024 · 1
    AlphaGeometry: 25 of 30 IMO geometry problemsPeer reviewed
  4. 12 months without an announcementFeb 2024 to Jan 2025
  5. Feb 2025 · 1
    AI co-scientist: hypotheses validated in vitro on acute myeloid leukaemia (AML) and liver fibrosisPeer reviewed
  6. May · 2
    AlphaEvolve: 4×4 complex matrices in 48 multiplications, kissing number 593 in dimension 11Not evaluatedbatch
  7. Robin: ripasudil proposed for dry age-related macular degenerationNot evaluated
  8. Jun · 1
    Rentosertib: phase IIa trial in IPF, target and molecule from generative AIPeer reviewed
  9. Jul · 2
    IMO 2025: 35 of 42 points (gold level) announced by OpenAI, graded by three former medallists (self-announced)Not evaluated
  10. IMO 2025: 35 of 42 points (gold medal) for Gemini Deep Think (Google DeepMind), result confirmed by the IMOPeer reviewed
  11. Aug · 1
    Generative-AI antibiotics against gonorrhoea and MRSAPeer reviewed
  12. Oct · 1
    GPT-5 “solves 10 Erdős problems”: the solutions were already in the literatureWithdrawn
  13. Nov · 3
    Mathematical exploration and discovery at scale: 67 problems with AlphaEvolveNot evaluatedbatch
  14. Kosmos, an autonomous "AI scientist": according to Edison, 79.4% of statements judged accurate and 7 discoveriesNot evaluated
  15. AlphaProof: olympiad-level formal reasoning (IMO 2024 silver)Peer reviewed
  16. Dec · 2
    Erdős #1026: Lean solution by AristotleNot evaluated
  17. Erdős #333: first “autonomous” LLM solution claimed, already solved by Erdős and Newman in 1977Withdrawn
  18. Jan 2026 · 5
    Gemini on ~700 “open” Erdős conjectures: 4 solved, 9 forgotten solutions foundNot evaluatedbatch
  19. Erdős #205, #457, #650 and #397 by Aristotle, GPT-5.x and AletheiaNot evaluatedbatch
  20. Erdős #728 by GPT-5.2 Pro and Aristotle, formally written upNot evaluated
  21. AI claims on 11 Erdős problems classed as incorrect by the Erdős AI wikiWithdrawnbatch
  22. AI claims on Erdős problems judged to have major gaps by the Erdős AI wiki (358, 963; 1040 in part)Contestedbatch
  23. Feb · 2
    Non-zero single-minus gluon tree amplitudes: formula proposed by GPT-5.2 ProNot evaluated
  24. Sphere packing in dimension 8: Lean formalisation completed, final steps by GaussFormally verifiedformalisation
  25. Mar · 2
    The AI Scientist: an end-to-end ML research pipelinePeer reviewed
  26. Erdős #125: complete Lean solution claimed by a DeepMind prover agentNot evaluated
  27. Apr · 2
    EinsteinArena: a platform where AI agents tackle open problems with public verifiersNot evaluatedbatch · 16 entries
  28. Erdős #1196: full solution announced (GPT-5.4 Pro), paper with Tao, Lichtman, Barreto and PriceNot evaluated
  29. May · 3
    ApexGO: AI-designed antibiotic peptidesPeer reviewed
  30. Erdős #90 unit-distance conjecture disproved by an internal OpenAI modelPeer reviewed
  31. Erdős #90 also listed as solved by Claude MythosNot evaluated
  32. Jun · 1
    AI contributions to Erdős problems (wiki by T. Tao, frozen on 30 June 2026)Not evaluatedbatch · 521 entries
  33. Aug · 2
    Ten advances by the Astra model (non-sofic group, Connes rigidity, Erdős 146/180/183…)Under reviewbatch · 1 entries
  34. OEIS Open: general LLMs solve 147 of 492 Lean-formalised OEIS conjecturesNot evaluated
  35. Sep · 6
    Fermat's Last Theorem: complete Lean proof written by ClaudeFormally verifiedformalisation
  36. Blow-ups claimed, with Lean proofs, for neighbouring equations (porous medium, 2D Boussinesq, 3D Euler) by Buckmaster and AlpögeNot evaluated
  37. Finite-time blow-up for 3D Navier–Stokes (millennium problem) claimed by an internal OpenAI systemContested
  38. Gardam's Ã₂ lattice has no unique products: Lean proof supplied by the author, written with intensive use of ClaudeNot evaluated
  39. StarWhisper: eight very early supernova candidates flagged by AI agentsNot evaluated
  40. Derived invariance of the signature and Hodge numbers of fourfoldsNot evaluated
  41. Oct · 3
    openai/math: 719 manuscripts in 372 families from an unreleased internal modelUnder reviewbatch · 372 entries
  42. AlphaProof Nexus (Google DeepMind, Science): 9 of 353 open Erdős problems and 44 of 492 OEIS conjectures solved in Lean, according to the authorsPeer reviewedbatch
  43. Conditional integer-multiplication bound κ ≈ 0.00139 (integer-mult-bounds PR #514)Not evaluated

Real-time map, by discipline

MathsTheor. CSBio. & med.Other202320252026MathematicsTheoretical computer scienceBiology and medicineOther sciences2023202420252026

Each tick is an announcement, on its real date. The frame shows the visible part of the timeline; click to go there. Hatched zones are months without an announcement, squeezed.

The number after a month is its count of announcements. An announcement is counted once, even if it publishes a batch. “Not evaluated”: no DiscoverIA status yet, not “never checked”.