Suivez vos podcasts préférés, écoutez hors ligne et en voiture avec CarPlay et Android Auto, et reprenez toujours là où vous en étiez. Essai gratuit.
Le 1er août, OpenAI a publié dix résultats inédits en mathématiques et en informatique théorique, obtenus par une version interne d'Astra, le modèle que l'entreprise présente comme son prochain grand modèle. Chaque démonstration a été formalisée dans un certificat Lean vérifiable par machine, puis rendue publique. Selon OpenAI, les calculs nécessaires pour trouver ces dix solutions coûteraient environ 2 000 dollars à son tarif public.
