Frise chronologique

Chaque annonce du registre à sa date, de la plus ancienne (à gauche) à la plus récente (à droite). Faites défiler la frise, ou cliquez sur la carte du temps réel pour y aller.

42 annonces suivies, de nov. 2023 à oct. 2026.

Statuts des annonces, avec leur nombreVérifié formellement2Relu par des pairs11En examen2Contesté3Retiré3Non évalué21daté au mois près

nov. 2023 · 1
nov. 2023, au mois prèsGNoME (2,2 M de structures) et A-Lab (matériaux synthétisés) : nouveauté contestéeContesté
déc. · 1
14 déc. 2023FunSearch : cap set de 512 éléments en dimension 8 (précédent record 496)Relu par des pairs
janv. 2024 · 1
17 janv. 2024AlphaGeometry : 25 problèmes sur 30 de géométrie IMORelu par des pairs
12 mois sans annoncefévr. 2024 à janv. 2025
févr. 2025 · 1
févr. 2025, au mois prèsGoogle AI co-scientist : hypothèses validées in vitro sur la leucémie aiguë myéloïde (LAM) et la fibrose hépatiqueRelu par des pairs
mai · 2
14 mai 2025AlphaEvolve : 4x4 complexe en 48 multiplications ; kissing number 593 en dim. 11 ; >50 problèmes ouverts (~75 % égalés, ~20 % améliorés)Non évaluélot
19 mai 2025Robin (FutureHouse) : ripasudil proposé pour la DMLA sècheNon évalué
juin · 1
3 juin 2025Rentosertib (Insilico) : essai de phase IIa dans la FPI, molécule et cible issues d'IA générative (Nature Medicine, 2025-06-03)Relu par des pairs
juil. · 2
19 juil. 2025IMO 2025 : 35 points sur 42 (niveau or) annoncés par OpenAI, notés par trois anciens médaillés (auto-annoncé)Non évalué
21 juil. 2025IMO 2025 : 35 points sur 42 (médaille d'or) pour Gemini Deep Think (Google DeepMind), résultat confirmé par l'IMORelu par des pairs
août · 1
août 2025, au mois prèsAntibiotiques conçus par IA générative contre gonorrhée et SARM (Cell, août 2025)Relu par des pairs
oct. · 1
12 oct. 2025GPT-5 : '10 problèmes d'Erdős résolus' (Weil, 2025-10-18) -> en réalité solutions déjà dans la littératureRetiré
nov. · 3
3 nov. 2025Mathematical exploration and discovery at scale : 67 problèmes (analyse, combinatoire, géométrie, théorie des nombres)Non évaluélot
4 nov. 2025Kosmos, « AI scientist » autonome : selon Edison, 79,4 % d'énoncés jugés exacts et 7 découvertes (3 reproduisent des travaux non publiés)Non évalué
12 nov. 2025AlphaProof : raisonnement formel de niveau olympiade par apprentissage par renforcement (argent IMO 2024)Relu par des pairs
déc. · 2
7 déc. 2025Erdős n°1026 : Aristotle, solution Lean (déc. 2025) ; la littérature (Tidor-Wang-Yang 2016) ne coïncide qu'après un argument de Seidenberg (1959)Non évalué
25 déc. 2025Erdős n°333 : première résolution « autonome » par LLM revendiquée, déjà résolue par Erdős et Newman en 1977Retiré
janv. 2026 · 5
janv. 2026, au mois prèsDeepMind/Gemini sur ~700 conjectures d'Erdős 'ouvertes' : 4 résolus + 9 solutions oubliées retrouvéesNon évaluélot
janv. 2026, au mois prèsErdős n°205 (Aristotle/GPT-5.2), 457 (Aristotle/GPT-5.2 Pro), 650 (GPT-5.4 Pro, plus fort que Erdős-Selfridge 1978), 397 (Aletheia ; littérature trouvée : TST Chine 2012)Non évaluélot
janv. 2026, au mois prèsErdős n°728 : GPT-5.2 Pro + Aristotle (Harmonic), rédaction formaliséeNon évalué
janv. 2026, au mois prèsRevendications IA classées incorrectes par le wiki IA d'Erdős (7, 11, 51, 233, 388, 411, 616, 647, 848, 888, 1044)Retirélot
janv. 2026, au mois prèsRevendications IA jugées gravement lacunaires par le wiki IA d'Erdős (358, 963 ; 1040 partiel)Contestélot
févr. · 2
13 févr. 2026Amplitudes d'arbre de gluons 'single-minus' non nulles : formule proposée par GPT-5.2 Pro, preuve par un modèle interneNon évalué
févr. 2026, au mois prèsEmpilement de sphères en dimension 8 : vérification formelle Lean achevée (étapes finales par Gauss, Math Inc., février 2026)Vérifié formellementformalisation
mars · 2
25 mars 2026The AI Scientist (Sakana) : pipeline de recherche ML de bout en bout ; un article généré accepté à un workshop ICLR 2025 (puis retiré)Relu par des pairs
30 mars 2026Erdős n°125 : solution complète en Lean revendiquée par un agent prouveur DeepMindNon évalué
avr. · 2
13 avr. 2026EinsteinArena : plateforme d'agents IA sur problèmes ouverts avec vérificateurs publics (nouveaux records en mathématiques)Non évaluélot · 16 entrées
13 avr. 2026Erdős n°1196 : résolution complète annoncée (GPT-5.4 Pro) ; papier arXiv avec Tao, Lichtman, Barreto, PriceNon évalué
mai · 3
mai 2026, au mois prèsApexGO (Penn) : peptides antibiotiques conçus par IA (Nature Machine Intelligence, mai 2026)Relu par des pairs
20 mai 2026Réfutation de la conjecture de distance unité d'Erdős (problème n°90) par un modèle interne OpenAIRelu par des pairs
26 mai 2026Erdős n°90 : résolution listée aussi pour « Claude Mythos » (26 mai 2026)Non évalué
juin · 1
30 juin 2026Registre « AI contributions to Erdős problems » (wiki de T. Tao, figé au 2026-06-30)Non évaluélot · 521 entrées
août · 2
1 août 2026Dix avancées (groupe non sofique, réfutation de la rigidité de Connes, Erdős 146/180/183, etc.) par le modèle AstraEn examenlot · 1 entrées
août 2026, au mois prèsOEIS Open : des LLM génériques résolvent 147 des 492 conjectures OEIS formalisées en Lean (30 %)Non évalué
sept. · 6
4 sept. 2026Théorème de Fermat-Wiles : preuve Lean complète écrite par Claude (11 jours, 13 M de lignes)Vérifié formellementformalisation
8 sept. 2026Explosions revendiquées, avec preuves Lean, pour des équations voisines (milieu poreux, Boussinesq 2D, Euler 3D) par Buckmaster et AlpögeNon évalué
8 sept. 2026Explosion en temps fini pour Navier-Stokes 3D (problème du millénaire) revendiquée par un système interne OpenAIContesté
sept. 2026, au mois prèsLe réseau Ã2 de Gardam n'a pas de produits uniques : preuve Lean fournie par l'auteur, rédigée avec un usage intensif de ClaudeNon évalué
20 sept. 2026StarWhisper Telescope (NAOC) : huit candidats supernova très précoces signalés par des agents IA ; deux suivisNon évalué
26 sept. 2026Invariance dérivée de la signature et des nombres de Hodge des quadridimensionnelles (hexagon:2609.00104), texte marqué "Primarily AI-generated" par la plateformeNon évalué
oct. · 3
6 oct. 2026openai/math : 719 manuscrits (722 au lancement), 372 familles, modèle interne non publiéEn examenlot · 372 entrées
8 oct. 2026AlphaProof Nexus (Google DeepMind, Science, 2026-10-08) : 9 problèmes d'Erdős ouverts sur 353 et 44 conjectures OEIS sur 492 résolus en Lean, selon les auteursRelu par des pairslot
11 oct. 2026Borne conditionnelle κ ≈ 0,00139 pour la multiplication entière (PR #514 d'integer-mult-bounds)Non évalué

Carte du temps réel, par discipline

Chaque trait est une annonce, à sa vraie date. Le cadre montre la partie visible de la frise ; cliquez pour y aller. Les zones hachurées sont des mois sans annonce, resserrés.

Le nombre après un mois est celui de ses annonces. Une annonce est comptée une fois, même si elle publie un lot. « Non évalué » : pas encore de statut DiscoverIA, pas « jamais vérifié ».