Au détour d’un rapport scientifique, OpenAI a levé le voile sur une nouvelle IA, baptisée Astra. Actuellement cantonnée à un usage interne, l’intelligence artificielle s’est distinguée en trouvant la solution de dix problèmes mathématiques et informatiques. Réputés insolubles, ces problèmes ont donné du fil à retordre aux mathématiciens et aux chercheurs pendant dix ans, voire plus de trente ans.
À lire aussi : OpenAI fait une révélation inattendue sur la cyberattaque lancée par un ChatGPT tricheur
Des découvertes historiques pour seulement 2000 dollars
Comme l’explique OpenAI dans son long rapport, Astra a notamment résolu une énigme mathématique vieille de 27 ans et trois casse-têtes du mathématicien Paul Erdős, une figure historique des mathématiques. Ce mathématicien hongrois a laissé derrière lui des centaines de problèmes complexes et non résolus, qui fascinent encore la communauté scientifique. Astra a découvert une solution pour trois de ces problèmes. Chaque résultat obtenu par ChatGPT « résout ou fait progresser substantiellement un problème ouvert de longue date », précise la start-up.
An internal version of Astra, @OpenAI’s next major model family, solved 10 major open problems in mathematics, quantum complexity, and theoretical computer science.
We believe it will be a major step for scientific reasoning. https://t.co/iP6cyheZ7i https://t.co/DfBOvi5O8F pic.twitter.com/jHuulDwV46
— Noam Brown (@polynoamial) August 1, 2026
Astra a aussi travaillé sur un problème mathématique qui sert de base à une nouvelle génération d’algorithmes de chiffrement, conçus pour résister aux futurs ordinateurs quantiques. Toutes les découvertes réalisées par Astra n’ont coûté que 2 000 dollars de frais de calcul. Chaque découverte a été vérifiée et validée par Lean, un logiciel qui vérifie automatiquement si un raisonnement mathématique est correct, étape par étape. OpenAI a transformé les dix démonstrations d’Astra en fichiers Lean, disponibles publiquement sur GitHub. Cette démarche permet à n’importe qui de télécharger ces fichiers et de faire vérifier chaque démonstration par son propre ordinateur, sans avoir à croire OpenAI sur parole.
Le roi de l’intelligence artificielle explique vouloir « donner aux scientifiques et aux mathématiciens des outils qui accélèrent la découverte ». Dans cette optique, OpenAI a également mis en place le ChatGPT for Academic Researchers. Cette initiative consiste à offrir à 100 000 scientifiques et mathématiciens un accès 100 % gratuit aux modèles les plus sophistiqués du catalogue ChatGPT.
À lire aussi : OpenAI dévoile GPT‑Red, la redoutable IA qui pirate ChatGPT, mais c’est pour son bien
Astra, la future IA de pointe d’OpenAI
Astra reste pour l’instant réservé à un usage interne chez OpenAI. L’entreprise de Sam Altman indique qu’il s’agit d’une famille de modèles capable de gérer des tâches longues, en faisant travailler plusieurs agents d’intelligence artificielle en simultané. Il y a quelques jours, le PDG Sam Altman a fait une démonstration d’Astra à des responsables politiques à Washington. Pour le moment, OpenAI ne s’est pas étendu sur la date de lancement de ce « prochain modèle majeur ».
👉🏻 Suivez l’actualité tech en temps réel : ajoutez 01net à vos sources sur Google, et abonnez-vous à notre canal WhatsApp.
Source : OpenAI
