Le modèle Astra d'OpenAI résout dix problèmes mathématiques complexes restés ouverts
Le nouveau modèle multi-agents Astra d'OpenAI a réussi à prouver dix conjectures mathématiques non résolues depuis des décennies, formalisant ces démonstrations via le langage Lean.
Le modèle Astra d'OpenAI résout dix problèmes mathématiques complexes restés ouverts
La plupart de ces problèmes étaient restés sans preuve pendant des décennies. Le nouveau modèle multi-agents Astra est parvenu à les démontrer et à formaliser ces preuves en utilisant le système Lean. Ce modèle a été présenté cette semaine à Washington par Sam Altman ; il sera également le premier à passer par le nouveau processus d'approbation gouvernementale avant sa mise à disposition.
Fait remarquable, selon les estimations de Sol, le coût total pour résoudre l'ensemble des dix problèmes s'est élevé à moins de 2000 dollars en tokens. Bien qu'OpenAI ait tenté de résoudre d'autres problèmes complexes par le passé sans succès, le potentiel de mise à l'échelle (scaling) ici apparaît considérable.
Pourquoi c'est important
AnalyseCe succès marque une étape décisive vers l'automatisation des preuves mathématiques, offrant des perspectives majeures pour accélérer la recherche scientifique et transformer l'enseignement des mathématiques.
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.
GPT-6 Astra : Guide de la nouvelle modèle d'OpenAI
Aperçu complet du modèle phare GPT-6 Astra : architecture agentique, capacités Computer Use, codage dans Codex, benchmarks de cybersécurité, subtilités du prompt engineering et guide de migration API.
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.