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
Lié dans l'écosystème
Guides pratiques, terminologie clé et compétences d'agents
Quatre conseils de CV du responsable du développement IA appliquée chez OpenAI
Wulfie Bain, responsable du développement IA appliquée chez OpenAI, a partagé quatre règles : brièveté, pertinence, mise en avant des résultats et réalisations clés en premier.
AI Radar : GPT-6.1 Terra, Gemini 4 Carbon, Mistral Large 4 et changements tarifaires d’OpenAI et d’Anthropic
Tour d’horizon des actualités IA : nouveaux modèles LLM, changements d’abonnements OpenAI et Anthropic, modèles de monde, générateurs vidéo et détails d’entreprise.
OpenAI GPT (Modèles phares de la série GPT)
La gamme principale et polyvalente des grands modèles de langage d'OpenAI (GPT-4, GPT-4o). Optimisée pour l'analyse textuelle complexe, la programmation, la création et le travail intellectuel quotidien.
Codex Skills pour débutants : comment automatiser les scénarios de travail des agents IA
Guide pratique pour créer et utiliser les Skills dans Codex : anatomie du fichier SKILL.md, activation explicite et automatique, différences entre les compétences, les scripts et les outils, l'API Skills et la configuration des limites de sécurité.