OpenAI dévoile « Astra » : des équipes d'agents ont résolu dix problèmes mathématiques ouverts pour environ 2 000 dollars
OpenAI a dévoilé une nouvelle famille de modèles, provisoirement baptisée Astra, conçue pour que plusieurs agents IA collaborent pendant des heures, voire des jours, sur des problèmes difficiles. Une version interne a résolu dix problèmes ouverts de mathématiques et d'informatique théorique qui résistaient aux experts depuis au moins dix ans — dont une preuve de l'existence de groupes non sofiques —, les démonstrations étant formalisées en Lean pour être vérifiables par machine. Coût total aux tarifs API : environ 2 000 dollars. Sam Altman a présenté le système aux décideurs à Washington ; il pourrait sortir sous le nom GPT-6, GPT-5.7 ou comme classe distincte, et devrait être le premier modèle soumis à l'examen gouvernemental américain prévu avant publication. (Correction : OpenAI est depuis revenue sur l'affirmation selon laquelle ces problèmes n'avaient connu aucun progrès depuis au moins dix ans, et des mathématiciens nommément cités estiment que plusieurs démonstrations s'appuient sur des travaux publiés non crédités.)
Actus liées
L'apprentissage automatique a lu la forme de cellules cérébrales malades et retenu neuf médicaments déjà autorisés qui les ont apaisées2026-08-21Le cheval de trait bon marché de DeepSeek voit désormais — et sur les tâches d'agent qui exigent des yeux, il se dit proche du meilleur d'Anthropic
2026-08-21Quatre heures et un GPU pour améliorer la façon dont on entraîne l'IA : le meilleur agent obtient 0,25 sur 1 — et la plupart n'ont même pas essayé
2026-08-21ChatGPT peut désormais lire vos iMessages et les envoyer — et le réglage qui lui évite de demander est celui-là même dont OpenAI met en garde
2026-08-21Montrez-le au robot une fois — de trois à douze secondes — et il réussit 59 fois sur 100 sans le moindre entraînement
2026-08-21