Vérifier
Le statut d'une annonce et sa date, avec les derniers changements.
Derniers changements de statut
Suivre par RSS- Revendications IA classées incorrectes par le wiki IA d'ErdősAncien statut : ContestéNouveau statut : Retiré
- Google AI co-scientist : hypothèses validées in vitro sur la leucémie aiguë myéloïdeAncien statut : Non évaluéNouveau statut : Relu par des pairs
- IMO 2025 : 35 points sur 42Ancien statut : Non évaluéNouveau statut : Relu par des pairs
- AlphaProof NexusAncien statut : Non évaluéNouveau statut : Relu par des pairs
- Empilement de sphères en dimension 8 : vérification formelle Lean achevéeAncien statut : Non évaluéNouveau statut : Vérifié formellement
20 des 41 annonces suivies n'ont aucune évaluation tierce trouvée.
Statut « Non évalué », constaté du 11 au 12 octobre 2026. Cela ne veut pas dire que personne n'a vérifié.
- Vérifié formellement 2
- Relu par des pairs 11
- En examen 2
- Contesté 3
- Retiré 3
- Non évalué 20
Les 41 annonces
41 annonces
Aucune annonce ne correspond à ces filtres.
- Non évaluéBorne conditionnelle κ ≈ 0,00139 pour la multiplication entière11 oct. 2026
- Relu par des pairsAlphaProof NexusGoogle DeepMind8 oct. 2026
- En examenopenai/math : 719 manuscrits · 372 partiesOpenAI6 oct. 2026
- Non évaluéInvariance dérivée de la signature et des nombres de Hodge des quadridimensionnelles26 sept. 2026
- Non évaluéStarWhisper Telescope20 sept. 2026
- Non évaluéExplosions revendiquées, avec preuves Lean, pour des équations voisines8 sept. 2026
- ContestéExplosion en temps fini pour Navier-Stokes 3DOpenAI8 sept. 2026
- Vérifié formellementThéorème de Fermat-Wiles : preuve Lean complète écrite par ClaudeAnthropic4 sept. 2026
- Non évaluéLe 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 Claudesept. 2026
- En examenDix avancées · 1 partieOpenAI1 août 2026
- Non évaluéOEIS Open : des LLM génériques résolvent 147 des 492 conjectures OEIS formalisées en Leanaoût 2026
- Non évaluéErdős n°90 : résolution listée aussi pour « Claude Mythos »Anthropic26 mai 2026
- Relu par des pairsRéfutation de la conjecture de distance unité d'ErdősOpenAI20 mai 2026
- Relu par des pairsApexGO (Penn) : peptides antibiotiques conçus par IA (Nature Machine Intelligence, mai 2026)mai 2026
- Non évaluéEinsteinArena : plateforme d'agents IA sur problèmes ouverts avec vérificateurs publics · 16 partiesTogether AI13 avr. 2026
- Non évaluéErdős n°1196 : résolution complète annoncée13 avr. 2026
- Non évaluéErdős n°125 : solution complète en Lean revendiquée par un agent prouveur DeepMindGoogle DeepMind30 mars 2026
- Relu par des pairsThe AI ScientistSakana AI25 mars 2026
- Non évaluéAmplitudes d'arbre de gluons 'single-minus' non nulles : formule proposée par GPT-5.2 Pro, preuve par un modèle interneOpenAI13 févr. 2026
- Vérifié formellementEmpilement de sphères en dimension 8 : vérification formelle Lean achevéeMath, Inc.févr. 2026
- Non évaluéDeepMind/Gemini sur ~700 conjectures d'Erdős 'ouvertes' : 4 résolus + 9 solutions oubliées retrouvéesGoogle DeepMindjanv. 2026
- Non évaluéErdős n°205OpenAIjanv. 2026
- Non évaluéErdős n°728 : GPT-5.2 Pro + AristotleHarmonic, OpenAIjanv. 2026
- RetiréRevendications IA classées incorrectes par le wiki IA d'Erdősjanv. 2026
- ContestéRevendications IA jugées gravement lacunaires par le wiki IA d'Erdősjanv. 2026
- RetiréErdős n°333 : première résolution « autonome » par LLM revendiquée, déjà résolue par Erdős et Newman en 197725 déc. 2025
- Non évaluéErdős n°1026 : Aristotle, solution LeanHarmonic7 déc. 2025
- Relu par des pairsAlphaProof : raisonnement formel de niveau olympiade par apprentissage par renforcementGoogle DeepMind12 nov. 2025
- Non évaluéKosmos, « AI scientist » autonome : selon Edison, 79,4 % d'énoncés jugés exacts et 7 découvertesFutureHouse4 nov. 2025
- Non évaluéMathematical exploration and discovery at scale : 67 problèmes3 nov. 2025
- RetiréGPT-5 : '10 problèmes d'Erdős résolus'OpenAI12 oct. 2025
- Relu par des pairsAntibiotiques conçus par IA générative contre gonorrhée et SARMaoût 2025
- Relu par des pairsIMO 2025 : 35 points sur 42Google DeepMind21 juil. 2025
- Non évaluéIMO 2025 : 35 points sur 42OpenAI19 juil. 2025
- Relu par des pairsRentosertib3 juin 2025
- Non évaluéRobin (FutureHouse) : ripasudil proposé pour la DMLA sècheFutureHouse19 mai 2025
- Non évaluéAlphaEvolve : 4x4 complexe en 48 multiplications ; kissing number 593 en dim. 11 ; >50 problèmes ouvertsGoogle DeepMind14 mai 2025
- Relu par des pairsGoogle AI co-scientist : hypothèses validées in vitro sur la leucémie aiguë myéloïdeGoogle DeepMindfévr. 2025
- Relu par des pairsAlphaGeometry : 25 problèmes sur 30 de géométrie IMOGoogle DeepMind17 janv. 2024
- Relu par des pairsFunSearch : cap set de 512 éléments en dimension 8Google DeepMind14 déc. 2023
- ContestéGNoME (2,2 M de structures) et A-Lab (matériaux synthétisés) : nouveauté contestéeGoogle DeepMindnov. 2023
Une annonce compte 1, même si elle publie un lot. L'archive Erdős est comptée à part : 521 lignes.
Entrées avec un statut DiscoverIA (46)
- Relu par des pairsAlphaProof Nexus8 oct. 2026
- RetiréTrois manuscrits retirés7 oct. 2026
- ContestéThe Partition Principle does not imply Choice6 oct. 2026
- En examenopenai/math : 719 manuscrits6 oct. 2026
- ContestéExplosion en temps fini pour Navier-Stokes 3D8 sept. 2026
- Vérifié formellementThéorème de Fermat-Wiles : preuve Lean complète écrite par Claude4 sept. 2026
- En examenRigidité de Connes fausse : confirmée par une recherche ultérieure indépendante réutilisant la technique du chapitre 31 août 2026
- En examenDix avancées1 août 2026
- Relu par des pairsRéfutation de la conjecture de distance unité d'Erdős20 mai 2026
- RetiréErdős n°7 : preuve jugée incorrecte par le wiki · Archive datée2 mai 2026
- Relu par des pairsApexGO (Penn) : peptides antibiotiques conçus par IA (Nature Machine Intelligence, mai 2026)mai 2026
- ContestéErdős n°1041 : argument jugé gravement lacunaire par le wiki · Archive datée22 avr. 2026
- ContestéErdős n°503 : argument jugé gravement lacunaire par le wiki · Archive datée22 avr. 2026
- RetiréErdős n°411 : preuve jugée incorrecte par le wiki · Archive datée3 avr. 2026
- Relu par des pairsThe AI Scientist25 mars 2026
- ContestéErdős n°1041 : argument jugé gravement lacunaire par le wiki · Archive datée17 mars 2026
- RetiréErdős n°388 : preuve jugée incorrecte par le wiki · Archive datée12 mars 2026
- RetiréErdős n°848 : preuve jugée incorrecte par le wiki · Archive datée12 mars 2026
- ContestéErdős n°358 : argument jugé gravement lacunaire par le wiki · Archive datée13 févr. 2026
- ContestéErdős n°358 : argument jugé gravement lacunaire par le wiki · Archive datée11 févr. 2026
- ContestéErdős n°851 : confusion avec un autre problème relevée par le wiki, résultats partiels trouvés dans la littérature · Archive datée5 févr. 2026
- ContestéErdős n°1040 : solution d'une partie du problème, l'autre partie jugée incorrecte par le wiki · Archive datée1 févr. 2026
- ContestéErdős n°1105 : solution complète trouvée dans la littérature, avec des références erronées relevées par le wiki · Archive datée1 févr. 2026
- Vérifié formellementEmpilement de sphères en dimension 8 : vérification formelle Lean achevéefévr. 2026
- RetiréErdős n°647 : preuve jugée incorrecte par le wiki · Archive datée28 janv. 2026
- RetiréErdős n°11 : affirmation jugée incorrecte par le wiki · Archive datée24 janv. 2026
- ContestéErdős n°963 : argument jugé gravement lacunaire par le wiki · Archive datée22 janv. 2026
- RetiréErdős n°233 : preuve conditionnelle jugée incorrecte par le wiki · Archive datée18 janv. 2026
- RetiréErdős n°616 : preuve jugée incorrecte par le wiki · Archive datée18 janv. 2026
- RetiréErdős n°888 : preuve jugée incorrecte par le wiki · Archive datée18 janv. 2026
- RetiréErdős n°51 : preuve jugée incorrecte par le wiki · Archive datée11 janv. 2026
- RetiréErdős n°1044 : affirmation jugée incorrecte par le wiki · Archive datée5 janv. 2026
- RetiréRevendications IA classées incorrectes par le wiki IA d'Erdősjanv. 2026
- ContestéRevendications IA jugées gravement lacunaires par le wiki IA d'Erdősjanv. 2026
- RetiréErdős n°333 : première résolution « autonome » par LLM revendiquée, déjà résolue par Erdős et Newman en 197725 déc. 2025
- RetiréErdős n°333 : preuve revendiquée jugée incorrecte par le wiki, preuve de la littérature non trouvée · Archive datée25 déc. 2025
- ContestéErdős n°330 : résultats partiels trouvés dans la littérature avec des inexactitudes relevées par le wiki, preuve de la littérature non trouvée · Archive datée19 déc. 2025
- Relu par des pairsAlphaProof : raisonnement formel de niveau olympiade par apprentissage par renforcement12 nov. 2025
- RetiréGPT-5 : '10 problèmes d'Erdős résolus'12 oct. 2025
- Relu par des pairsAntibiotiques conçus par IA générative contre gonorrhée et SARMaoût 2025
- Relu par des pairsIMO 2025 : 35 points sur 4221 juil. 2025
- Relu par des pairsRentosertib3 juin 2025
- Relu par des pairsGoogle AI co-scientist : hypothèses validées in vitro sur la leucémie aiguë myéloïdefévr. 2025
- Relu par des pairsAlphaGeometry : 25 problèmes sur 30 de géométrie IMO17 janv. 2024
- Relu par des pairsFunSearch : cap set de 512 éléments en dimension 814 déc. 2023
- ContestéGNoME (2,2 M de structures) et A-Lab (matériaux synthétisés) : nouveauté contestéenov. 2023