Erdős n°333 : première résolution « autonome » par LLM revendiquée, déjà résolue par Erdős et Newman en 1977
Statut
Retiré
Constaté le · quantamagazine.org
Hors du parcours de vérification
- Annonce
- Constatéretiré
Ce que veut dire ce statut
Lecture de la source : Source lue via un résumé IA (niveau 2 sur 3)
Retiré ou abandonné par son auteur, ou classé incorrect par la source de référence.
L'essentiel
Kevin Barreto, avec Liam Price, annonce le 25 décembre 2025 la première résolution « autonome » d'un problème d'Erdős (n°333) par un LLM, déjà résolu par Erdős et Newman en 1977.
Citer cette entrée
Un seul relevé de statut depuis le 11 oct. 2026 : une citation renvoie toujours à un relevé daté.
Citer le relevé 1, 11 oct. 2026
Citation APA avec le lien daté
BibTeX @misc, clé discoveria-erdos-333-barreto-2025-12-25-r1
@misc{discoveria-erdos-333-barreto-2025-12-25-r1,
author = {{DiscoverIA}},
title = {Erdős n°333 : première résolution « autonome » par LLM revendiquée, déjà résolue par Erdős et Newman en 1977},
howpublished = {Registre DiscoverIA, fiche erdos-333-barreto-2025-12-25},
note = {Statut « Retiré », relevé 1, constaté le 11 octobre 2026. nouveau résultat},
year = {2026},
url = {https://discoveria.ai/fr/fiche/erdos-333-barreto-2025-12-25/#releve-1},
urldate = {2026-10-11}
}Lien daté ouvre ce relevé dans l'historique
Texte rédigé par une IA (pipeline DiscoverIA), le Relu par : Antoine Olivier, 18 oct. 2026Signaler une erreur
Qu'est-ce qui n'est pas relu ?
Le statut et ses sources viennent du registre ; le texte explicatif a été relu par un humain.
Le statut et ses sources viennent du registre ; le texte explicatif a été relu par un humain.
Repères
- Revendiqué par
- Non affiché (entrée retirée)
annonce du 25 déc. 2025 - Nature
- nouveau résultat
- Domaine
- Mathématiques (théorie des nombres / combinatoire)
- Vérifié par
- tiers non nommé (utilisateur du forum)
- Sources (domaines)
- 3 : 2 lues mot pour mot, 1 liens seulement
- Cette fiche
- Relu par Antoine Olivier, 18 oct. 2026
Pour comprendre
Analogie
Imaginez que vous croyiez avoir ouvert un nouveau chemin en forêt, puis que vous découvriez qu'un sentier balisé y passait depuis longtemps.
Ce que ça change
Le statut étant « retiré », cette entrée ne montre pas qu'un LLM a résolu seul une question ouverte. Elle rappelle qu'une question listée comme ouverte peut déjà avoir une réponse publiée, ce qui rend la vérification de la littérature indispensable.
Ce qui reste flou
Le wiki des contributions d'IA donne deux lignes pour ce problème : une solution complète en Lean (Claude Opus 4.5, GPT-5.2 Pro), dont l'équivalent existait dans la littérature, et une preuve incorrecte revendiquée par GPT-5.2 Pro. La solution antérieure a été signalée par un utilisateur du forum, non nommé.
3 sources.
Pour les experts
Sources(domaines)
- primairequantamagazine.orglien seulement, lecture non enregistrée
- articleerdosproblems.compage lue mot pour mot · consultée le 18 oct. 2026 ·
Theorem 2 of [ErNe77] already implies a negative answer to this problem
- listegithub.compage lue mot pour mot · consultée le 18 oct. 2026 ·
| [[333]](https://www.erdosproblems.com/333) | Claude Opus 4.5, GPT-5.2 Pro | 25 Dec, 2025 | 🟢 Full solution (Lean) | 🟢 Erdős and Newman (1977)
Méthode
Selon erdosproblems.com/333, le théorème 2 de [ErNe77], l'article d'Erdős et Newman, implique déjà une réponse négative à la question. Le wiki classe le cas en section 1(b), parmi les solutions d'IA pour lesquelles une littérature comparable existe. Statut « retiré » constaté le 11 octobre 2026 sur quantamagazine.org (page lue au travers d'un résumé de modèle, citation non revérifiée).
Limites
La source du statut a été lue au travers d'un résumé de modèle ; sa citation n'a pas été revérifiée.
Imaginez que vous croyiez avoir ouvert un nouveau chemin en forêt, puis que vous découvriez qu'un sentier balisé y passait depuis longtemps.
Historique du statut
Une seule observation pour l'instant.
- 01
Première observation :RetiréStatut actuel
revendication abandonnée par son auteur après découverte d'une solution antérieure
Source : quantamagazine.orglu via un résumé IA
Une observation s'ajoute ; aucune ne s'efface.
Signaler une erreur ou proposer une source
Merci, votre message est bien parti.
L'envoi a échoué. Réessayez, ou écrivez à [email protected].