|
EN BREF
|
OpenAI, connu pour sa création de ChatGPT, a révélé des avancées significatives avec son futur modèle, Astra, qui a permis de résoudre des défis mathématiques réputés difficiles depuis des décennies. Cette annonce, bien que préliminaire, ouvre la voie à l’utilisation des intelligences artificielles dans la recherche fondamentale et au-delà de leurs fonctions habituelles.
Une génération d’intelligence artificielle en préparation
Le modèle Astra est décrit par OpenAI comme une nouvelle génération d’intelligence artificielle, encore non disponible pour le grand public. Ce modèle se distingue par ses capacités à aborder des problèmes complexes en mathématiques et en informatique théorique, des domaines où les défis sont souvent d’une grande complexité. Par cette démarche, OpenAI souhaite démontrer que les intelligences artificielles peuvent dépasser la simple génération de texte ou d’images pour jouer un rôle actif dans la recherche scientifique.
Dix résultats marquants dans la recherche
Astra a permis de réaliser dix avancées importantes sur des questions qui avaient longtemps résisté à l’expertise des chercheurs. OpenAI précise que ces résultats incluent à la fois des découvertes et d’importantes avancées, soulignant que tous les sujets ne peuvent pas être considérés comme définitivement résolus. Ainsi, l’annonce suscite un intérêt immense au-delà des seuls cercles scientifiques.
Validation des résultats par des preuves formelles
Une des particularités d’Astra est que les démonstrations générées ont été transformées en preuves formelles validées automatiquement à l’aide de Lean, un logiciel dédié à vérifier la rigueur des raisonnements mathématiques. Bien que cette approche réduit le risque d’erreurs, elle ne remplace pas l’analyse par des experts, qui devront valider la portée de ces nouvelles méthodes.
Investissement important et collaboration humaine
OpenAI a estimé que la résolution de ces dix problèmes a nécessité un investissement d’environ 2 000 dollars en ressources de calcul. Des chercheurs humains ont ensuite contribué à convertir les raisonnements d’Astra en articles scientifiques, soulignant ainsi l’importance de la synergie entre l’IA et l’intervention humaine dans la recherche.
Réactions du milieu scientifique
En réponse à cette avancée, le concurrent d’OpenAI, Anthropic, a indiqué qu’un de ses chercheurs avait réussi à reproduire cinq des dix problèmes abordés par Astra en moins de 24 heures en utilisant une autre intelligence artificielle, Claude Fable. Cette compétition dans le domaine de l’intelligence artificielle souligne l’enthousiasme croissant pour les possibilités offertes par ces technologies.
Pour plus d’informations sur l’impact de l’intelligence artificielle dans divers domaines, consultez des articles comme celui-ci sur la création d’un centre d’intelligence artificielle militaire ou sur les innovations à venir pour 2026 dans le secteur. De plus, l’importance de l’intelligence artificielle dans la rentrée 2027 est également à suivre de près, tout comme la polémique autour de l’usage de la voix des enfants dans les médias, comme exposé dans cet article sur Peppa Pig et l’IA.