Ce qui avance en IA, et ce qui est établi.
- ComprendreCe qui a vraiment avancé, expliqué clairement, sans prérequis.
- VérifierLe statut d'une annonce et sa date, avec les derniers changements.
- ChercheursLa méthode, les preuves et les données.
Annoncé, puis établi ?
Sur 41 annonces suivies, 13 ont aujourd'hui un statut établi.
Une annonce compte 1, même si elle publie un lot. L'archive Erdős est comptée à part : 521 lignes.
Dans le temps, par mois d'annonce
Cumul depuis nov. 2023 : 41 annonces, dont 13 aujourd'hui établies
Dernières avancées expliquées
Les résumés du fil sont rédigés par une IA. Les statuts viennent du registre ; la mention « non relu » porte sur le texte.
Borne conditionnelle κ = 0,001391523459591829 pour la multiplication entière (PR #514 d'integer-mult-bounds)
Le 11 octobre 2026, un contributeur du projet integer-mult-bounds a proposé une borne théorique améliorée, sous conditions, pour multiplier de très grands entiers.
Rédigé par une IA · relu par un humain
Recherche de preuves formelles par IA en mathématiques (Science)
Google DeepMind publie le 8 octobre 2026 dans Science son étude sur AlphaProof Nexus : selon les auteurs, 9 problèmes d'Erdős ouverts sur 353 et 44 conjectures OEIS sur 492 sont résolus en Lean.
Rédigé par une IA · relu par un humain
Trois manuscrits retirés (erreur de signe, classes de Weil) : Algebraicity of Weil classes on split abelian eightfolds ; Kuga-Satake K3 ; rational Hodge conjecture for products of K3
Le 7 octobre 2026, OpenAI a retiré trois manuscrits de sa publication de mathématiques, sur les classes de Weil, Kuga-Satake K3 et la conjecture de Hodge rationnelle, après une erreur de signe. Statut : retiré.
Rédigé par une IA · non relu