OpenAI annonce des avancées significatives avec le modèle interne Astra
OpenAI a récemment présenté des résultats marquants obtenus grâce à une version interne de son modèle d’intelligence artificielle, Astra. Ce dernier aurait permis de résoudre dix problèmes mathématiques restés ouverts pendant des décennies, selon les déclarations de l’entreprise, rapporte TopTribune.
OpenAI, pionnier de l’IA avec ChatGPT, ne considère pas encore Astra comme un service accessible au grand public. Au contraire, l’entreprise le positionne comme une avancée majeure dans l’évolution de ses modèles d’intelligence artificielle. Pour illustrer ses capacités, Astra s’attaque à des domaines exigeants tels que les mathématiques et l’informatique théorique.
Les résultats rapportés incluent à la fois des problèmes résolus et des avancées notables. Cependant, il est essentiel de préciser que tous les sujets abordés ne sont pas définitivement clos. L’annonce revêt une importance qui dépasse les seuls cercles mathématiques, car elle illustre le potentiel des intelligences artificielles à contribuer à la recherche fondamentale en proposant des raisonnements nouveaux sur des questions spécialisées.
Validation des résultats et implications
OpenAI affirme que les démonstrations réalisées par Astra ont été converties en preuves formelles vérifiables grâce à Lean, un logiciel conçu pour garantir la solidité des raisonnements mathématiques. Cette démarche contribue à diminuer le risque d’erreurs, bien qu’elle ne substitute pas l’évaluation par des experts humains.
Les chercheurs devront encore examiner les méthodes mises en œuvre, évaluer leur portée et déterminer si certains résultats avaient déjà été approchés par d’autres travaux antérieurs. Selon OpenAI, la résolution des dix problèmes aurait nécessité environ 2 000 dollars de calcul, selon les tarifs appliqués par l’entreprise. Par la suite, des chercheurs humains ont été engagés pour transformer les raisonnements produits par le modèle en articles scientifiques.
En réponse à cette annonce, la société rivale Anthropic a déclaré qu’un de ses chercheurs avait reproduit cinq des dix résultats résolus par Astra en moins de 24 heures, en utilisant leur modèle Claude Fable. Cette compétition met en lumière les avancées rapides dans le domaine de l’intelligence artificielle et souligne l’importance de la vérification et de la validation dans la recherche scientifique.
