Erdős n°728 : GPT-5.2 Pro + Aristotle (Harmonic), rédaction formalisée
Statut
Non évalué
Constaté le · quantamagazine.org
- Annonce
- Constaténon évalué
- ensuiteÀ suivre
Ce que veut dire ce statut
Lecture de la source : Source lue via un résumé IA (niveau 2 sur 3)
Pas encore de statut DiscoverIA ; cela ne veut pas dire que personne n'a vérifié.
Pour passer « En examen » : un examen public en cours. Pour « Relu par des pairs » : une publication en revue ou une relecture par des experts nommés.
L'essentiel
OpenAI (GPT-5.2 Pro) et Harmonic (Aristotle) revendiquent, en janvier 2026 au plus tard le 4 janvier 2026, une solution du problème d'Erdős n°728, rédigée sous forme formelle. Statut non évalué.
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-728-gpt52-aristotle-2026-01-r1
@misc{discoveria-erdos-728-gpt52-aristotle-2026-01-r1,
author = {{DiscoverIA}},
title = {Erdős n°728 : GPT-5.2 Pro + Aristotle (Harmonic), rédaction formalisée},
howpublished = {Registre DiscoverIA, fiche erdos-728-gpt52-aristotle-2026-01},
note = {Statut « Non évalué », relevé 1, constaté le 11 octobre 2026. nouveau résultat},
year = {2026},
url = {https://discoveria.ai/fr/fiche/erdos-728-gpt52-aristotle-2026-01/#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 : personne pour l'instantSignaler une erreur
Qu'est-ce qui n'est pas relu ?
Le statut et ses sources viennent du registre ; seul le texte explicatif n'est pas relu. Une erreur signalée est corrigée, puis le texte est relu.
Le statut et ses sources viennent du registre ; seul le texte explicatif n'est pas relu. Une erreur signalée est corrigée, puis le texte est relu.
Repères
- Revendiqué par
- OpenAI GPT-5.2 Pro ; Harmonic (Aristotle)
annonce du janv. 2026 - Nature
- nouveau résultat
- Domaine
- Mathématiques (théorie des nombres)
- Vérifié par
- Aristotle (outil de Harmonic) ; relecture humaine non précisée
- Sources (domaines)
- 1 : 1 liens seulement
- Cette fiche
- Brouillon IA, non relu
Pour comprendre
Analogie
Imagine un auteur qui rédige une démonstration, puis un logiciel de relecture vérifie que chaque étape découle bien de la précédente.
Ce que ça change
Si la solution tenait, elle serait un exemple de division du travail : un modèle de langage propose le raisonnement, un outil de preuve en contrôle la cohérence logique. Elle concernerait une question ouverte de théorie des nombres posée par Erdős.
Ce qui reste flou
La certification de cohérence logique vient d'Aristotle, l'outil de Harmonic, qui fait partie des revendicateurs. Une relecture humaine n'est pas précisée, et la mention d'un texte sur arXiv vient de Quanta Magazine.
1 source.
Pour les experts
Sources(domaines)
- primairequantamagazine.orglien seulement, lecture non enregistrée
Méthode
Statut « non évalué » 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. DiscoverIA n'a recensé aucune évaluation indépendante à cette date.
Imagine un auteur qui rédige une démonstration, puis un logiciel de relecture vérifie que chaque étape découle bien de la précédente.
Historique du statut
Une seule observation pour l'instant.
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].