Vérifier
Le statut d'une annonce et sa date, avec les derniers changements.
Derniers changements de statut
- Revendications IA incorrectes sur 11 problèmes d'Erdős, selon le wikiAncien statut : ContestéNouveau statut : Retiré
- AI co-scientist : hypothèses validées in vitro, LAM et fibrose du foieAncien statut : Non évaluéNouveau statut : Relu par des pairs
- IMO 2025 : 35 sur 42 (or) pour Gemini Deep Think, confirmé par l'IMOAncien statut : Non évaluéNouveau statut : Relu par des pairs
- 9 des 353 problèmes d'Erdős ouverts résolus en Lean, selon DeepMindAncien statut : Non évaluéNouveau statut : Relu par des pairs
- Sphères en dimension 8 : preuve Lean achevée, étapes finales par GaussAncien statut : Non évaluéNouveau statut : Vérifié formellementFormalisation : la vérification par ordinateur d'un théorème déjà connu, pas un nouveau résultat.
Le constat
Au constat du 11 au 18 octobre 2026, DiscoverIA suivait 41 annonces, dont 31 de nouveaux résultats ; 23 de ces 31 sont en mathématiques et en informatique théorique, dont 11 centrées sur des problèmes d'Erdős. Aucune de ces 23 annonces n'avait le statut « vérifié formellement », qui demande qu'un tiers nommé ait vérifié une preuve par ordinateur.
Les 10 autres annonces formalisent des théorèmes déjà connus ou sont des compétitions, des systèmes, un benchmark ou une recherche bibliographique ; deux de ces formalisations (Fermat-Wiles, empilement de sphères en dimension 8) ont le statut « vérifié formellement ». Pour les 8 nouveaux résultats hors mathématiques, en biologie, médecine, matériaux, physique ou astronomie, le site note d'autres formes d'évaluation, comme la relecture par des pairs.
Un statut dit où en est l'évaluation, pas si le résultat est vrai : « non évalué » signifie qu'aucune évaluation tierce n'a été trouvée, pas que le résultat est faux.
Annonces souvent citées
| Annonce | Statut | Constaté le |
|---|---|---|
| 9 des 353 problèmes d'Erdős ouverts résolus en Lean, selon DeepMindAnnoncée le 8 oct. 2026 | Relu par des pairs | 13 oct. 2026 |
| Navier-Stokes 3D : explosion en temps fini revendiquée par OpenAIAnnoncée le 8 sept. 2026 | Contesté | 11 oct. 2026 |
| openai/math : 719 manuscrits, 372 familles, modèle interne non publiéAnnoncée le 6 oct. 2026 | En examen | 11 oct. 2026 |
| IMO 2025 : 35 sur 42 (or) pour Gemini Deep Think, confirmé par l'IMOAnnoncée le 21 juil. 2025 | Relu par des pairs | 18 oct. 2026 |
| AI co-scientist : hypothèses validées in vitro, LAM et fibrose du foieAnnoncée en févr. 2025 | Relu par des pairs | 18 oct. 2026 |
| Fermat-Wiles : preuve Lean complète écrite par ClaudeAnnoncée le 4 sept. 2026 | Vérifié formellement | 11 oct. 2026 |
Fermat-Wiles est la formalisation d'un théorème déjà connu, pas une découverte. Une preuve en Lean fournie par ses seuls auteurs ne suffit pas pour « vérifié formellement » : un tiers nommé doit l'avoir vérifiée.
Citer et réutiliser
Textes et données sont publiés sous licence CC BY 4.0, avec l'attribution « DiscoverIA ».
Chaque fiche propose une citation datée, au format APA et BibTeX.
Les données sont téléchargeables en JSON. Données et API
Les changements de statut et le fil sont publiés en RSS. /fr/rss.xml
Contact presse
Antoine Olivier, contact@discoveria.ai
DiscoverIA est publié par Antoine Olivier, au sein de Kepler Circle, titulaire des données. À propos de DiscoverIA
Les fiches sont rédigées avec des outils d'IA à partir de sources publiques. Une fiche que l'éditeur n'a pas encore relue porte la mention « Brouillon IA, non relu ».
Questions fréquentes
Qu'est-ce que DiscoverIA ?
Un registre public et gratuit des annonces de résultats obtenus avec l'IA. Pour chaque annonce, il indique qui l'a faite, quand, et si un tiers l'a évaluée, avec la source et la date de chaque constat.
Que veut dire « vérifié formellement » ?
Qu'un tiers nommé a vérifié une preuve par ordinateur (Lean, Coq, Isabelle). Une preuve fournie par les seuls auteurs ne suffit pas. Ce statut vise surtout les mathématiques ; en biologie, en médecine ou en astronomie, le site note d'autres formes d'évaluation, comme la relecture par des pairs.
« Non évalué » veut-il dire que le résultat est faux ?
Non. Cela veut dire que DiscoverIA n'a trouvé aucune évaluation tierce. Le résultat n'est déclaré ni juste ni faux.
Comment citer une fiche ?
Chaque fiche donne sa référence au format APA et BibTeX, avec le statut et la date du constat.
Comment signaler une erreur ?
Chaque fiche a un lien « Signaler une erreur ou proposer une source ». Le signalement est transmis à l'éditeur.