Astra d'OpenAI résout des problèmes mathématiques vieux de dix ans pendant que Microsoft open-source son framework d'entraînement d'agents
Le modèle Astra d'OpenAI vient de résoudre dix problèmes mathématiques vieux de dix ans avec des preuves vérifiables par machine, et Microsoft a open-sourcé Orc...























































