OpenAI Astra résout dix problèmes mathématiques ouverts
Le modèle interne d'OpenAI, Astra, a franchi une étape majeure en résolvant dix problèmes mathématiques non résolus, certains depuis des décennies. Cette prouesse souligne la capacité croissante des nouvelles IA à relever des défis complexes.
Le modèle interne d'OpenAI, Astra, est parvenu à résoudre dix problèmes mathématiques ouverts, dont certains restaient sans solution depuis 40 à 50 ans. OpenAI vient de publier un article détaillé exposant toutes les preuves rédigées dans le langage Lean ainsi que le processus de raisonnement du modèle.
La communauté technique a immédiatement réagi avec humour et scepticisme. Si OpenAI revendique la résolution de ces dix problèmes, Anthropic a riposté via ses ingénieurs : « Nous avons résolu la moitié d'entre eux en une journée avec Fable ». Il ne s'agit pas d'une blague ; un ingénieur d'Anthropic a effectivement affirmé, un jour après la publication d'OpenAI, que le modèle Fable avait résolu la moitié des problèmes listés instantanément, sans accès à Internet.
Pourquoi c'est important
AnalyseCet exploit démontre l'avancée rapide des capacités de raisonnement des IA face aux problèmes scientifiques complexes. Ces résultats pourraient avoir un impact profond sur la recherche fondamentale en sciences et en ingénierie.
Discuter dans la communauté
Partagez vos questions et vos idées avec les développeurs