OpenAI dévoile Astra, un modèle qui résout dix problèmes mathématiques irrésolus depuis plus d'une décennie — chaque preuve coûte 2 000 dollars en tokens

Le 2 août 2026, OpenAI a révélé Astra, une nouvelle famille de modèles conçue pour les tâches longues et complexes. Une version interne vient de produire dix avancées majeures en mathématiques et en informatique théorique, dont la résolution de la conjecture de rigidité de Connes. Le coût total en tokens pour trouver ces solutions s'élève à 2 000 dollars.