Ce modèle interne d’OpenAI a débloqué dix énigmes mathématiques
OpenAI affirme qu’Astra, son prochain grand modèle encore interne, a produit dix avancées en mathématiques et informatique théorique, accompagnées de preuves formalisées dans Lean.
Ce modèle interne d’OpenAI a débloqué dix énigmes mathématiques Lire