Dix avancées (groupe non sofique, réfutation de la rigidité de Connes, Erdős 146/180/183, etc.) par le modèle Astra
Statut
En examen
Constaté le · arxiv.org
- Annonce
- Constatéen examen
- ensuiteÀ suivre
Ce que veut dire ce statut
Lecture de la source : Source lue mot pour mot (niveau 3 sur 3)
Examen public en cours, sans verdict.
Pour passer « Relu par des pairs » : une publication en revue ou une relecture par des experts nommés. Une objection publique sourcée le ferait passer « Contesté ».
L'essentiel
OpenAI annonce le 1er août 2026 dix avancées mathématiques obtenues par une version interne d'Astra. Un audit (arXiv 2608.14673) dit qu'aucune erreur de fond confirmée ne subsiste dans un résultat principal. Statut : en examen.
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-oai-astra-ten-advances-2026-08-01-r1
@misc{discoveria-oai-astra-ten-advances-2026-08-01-r1,
author = {{DiscoverIA}},
title = {Dix avancées (groupe non sofique, réfutation de la rigidité de Connes, Erdős 146/180/183, etc.) par le modèle Astra},
howpublished = {Registre DiscoverIA, fiche oai-astra-ten-advances-2026-08-01},
note = {Statut « En examen », relevé 1, constaté le 11 octobre 2026. nouveau résultat},
year = {2026},
url = {https://discoveria.ai/fr/fiche/oai-astra-ten-advances-2026-08-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
annonce du 1 août 2026 - Nature
- nouveau résultat
- Domaine
- Mathématiques (mathématiques / informatique théorique)
- Vérifié par
- revendicateur ; relectures partielles tierces (audit)
- Sources (domaines)
- 2 : 1 lues mot pour mot, 1 liens seulement
- Cette fiche
- Brouillon IA, non relu
Pour comprendre
Analogie
Comme un constructeur qui présente dix pièces fabriquées avec une nouvelle machine, pendant qu'un inspecteur extérieur les examine une à une.
Ce que ça change
Si ces résultats tenaient, un modèle d'IA aurait contribué à des résultats de recherche variés : un groupe non sofique, la réfutation de la rigidité de Connes, des problèmes d'Erdős. Une de ces avancées, la rigidité de Connes, fait déjà l'objet d'un suivi séparé, lui aussi en examen.
Ce qui reste flou
Les manuscrits sont rédigés par des humains avec le même modèle, et les certificats Lean sont produits par le modèle et fournis par OpenAI. Les relectures tierces ne sont que partielles. Le chapitre 8 de l'audit exprime la plus forte réserve : un relecteur spécialiste demande une révision majeure.
2 sources.
Pour les experts
Sources(domaines)
- primaireopenai.comlien seulement, lecture non enregistrée
- source-statutopenai.compage lue mot pour mot · consultée le 11 oct. 2026 ·
The results were achieved by an internal version of Astra
Méthode
Statut « en examen » constaté le 11 octobre 2026 sur arxiv.org (page lue, citation relevée mot pour mot).
Limites
Une preuve Lean fournie par le revendicateur ne vaut pas vérification formelle par un tiers.
Comme un constructeur qui présente dix pièces fabriquées avec une nouvelle machine, pendant qu'un inspecteur extérieur les examine une à une.
Parties de cette annonce (1)
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].