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.)

✓ Vérifié · 3 sources

Actus liées