Dossier

Astra

Tous nos articles et analyses sur Astra — 2 publications.

Modèles & Recherche IA générative il y a 5 j

OpenAI publie les preuves formelles en Lean de dix problèmes mathématiques inédits résolus par son système Astra, avec une facture de calcul…

La Rédaction 4 min de lecture 11 vues

Modèles & Recherche Grands modèles de langage il y a 6 j

C'est en marge d'un article de recherche consacré aux mathématiques qu'OpenAI a laissé filtrer le nom de son futur modèle phare. Une officialisation…

La Rédaction 4 min de lecture 12 vues