OpenAI « Astra » aurait cassé 10 problèmes ouverts en math et CS - attendons les preuves

Noam Brown poste, HN commente : un modèle interne aurait résolu dix problèmes ouverts majeurs. Rien n'est publié. On note, on ne conclut pas.

In plain terms. Le chercheur OpenAI Noam Brown (@polynoamial) annonce qu'un modèle interne baptisé Astra aurait résolu dix problèmes ouverts majeurs en mathématiques et en informatique. Les preuves ne sont pas publiées.

Le fait

Le post, relayé sur Hacker News (item 49143688) le 2 août 2026, ne cite pas la liste exacte des dix problèmes. Un problème (numéro 6) aurait été construit à partir des travaux du chercheur Henry Yuen (théorie de la complexité quantique). Aucune preuve écrite n'est encore accessible publiquement au moment où nous écrivons.

Notre lecture

L'annonce s'inscrit dans une série. Rappel de la publi #1342 : un résultat OpenAI sur un problème d'optimisation convexe ouvert depuis trente ans, communiqué avant peer review. La discussion HN d'aujourd'hui pointe la même critique - attendre la publication des preuves pour vérifier soi-même les mathématiques - et souligne le contraste avec les pratiques scientifiques standard : dépôt arXiv, review, réplication. Ni catastrophisme, ni hype : on note l'annonce, on suspend le jugement jusqu'aux preuves.

Le sujet compte parce que, si validé, il déplacerait le curseur de ce que les LLM avancés font réellement en raisonnement mathématique - pas juste imiter des chaînes de dérivation, mais générer des preuves nouvelles vérifiables. C'est précisément le point où la frontière recherche / hype se joue.

À surveiller

Publication effective des preuves (arXiv, blog OpenAI) ; nommage des dix problèmes ; réactions de Henry Yuen et des mathématiciens concernés ; réplication par des tiers.