OpenAI dévoile Astra : une nouvelle famille de modèles pour les tâches à long terme
OpenAI lance Astra, un modèle permettant la collaboration d'agents IA sur des projets complexes, ayant déjà résolu dix problèmes majeurs en mathématiques et informatique théorique.
OpenAI dévoile Astra — une nouvelle famille de modèles conçue pour les tâches à long terme où plusieurs agents d'IA collaborent sur un même projet.
Selon l'entreprise, le modèle a permis d'obtenir 10 nouveaux résultats concernant des problèmes anciens en mathématiques, en théorie de la complexité quantique et en informatique théorique.
Parmi ces avancées : – La construction du premier groupe non-sophique explicite. – La réfutation de l'hypothèse de rigidité de Conn. – La preuve d'un théorème sur la répétition parallèle quantique pour le cas général des jeux à deux joueurs avec intrication. – La preuve de la conjecture du volume d'Ehrhart. – La première amélioration de l'estimation générale de l'exposant de compactage sphérique depuis 1978.
Les idées clés des preuves ont été générées par Astra. Le modèle les a ensuite formalisées dans Lean, obtenant des certificats de preuve vérifiables par machine et un manuscrit de 249 pages. Le coût de cette opération réussie s'élevait à environ 2 000 dollars aux tarifs de l'API Sol.
Il semble que ce soit ce projet qu'Altman a présenté à la Maison Blanche cette semaine. En interne, OpenAI n'a pas encore décidé si ce modèle sera commercialisé sous le nom de GPT-6 ou GPT-5.7.
Actuellement, il est soumis à des tests rigoureux.
Pourquoi c'est important
AnalyseCette percée démontre le potentiel transformateur des agents IA dans la recherche scientifique fondamentale, ouvrant la voie à une automatisation efficace de la résolution de problèmes mathématiques complexes.
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
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.
OpenAI prépare les GIF animés pour ChatGPT
OpenAI a ajouté un support expérimental pour la génération de GIF animés dans Codex, via OpenAI Images API. Cette fonction pourrait bientôt arriver dans ChatGPT.
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é.
GPT Mini (Modèles compacts de la série GPT-4o mini)
Version économique et ultra-rapide des modèles phares d'OpenAI. Optimisée pour les tâches quotidiennes à grande échelle, les réponses instantanées, la classification de textes et l'économie de quotas.