OpenAI
OpenAI a nommé sa prochaine famille de modèles et publié dix problèmes résolus. Rien n’a été déployé.
Une version interne appelée Astra a produit des preuves pour dix questions longtemps ouvertes en mathématiques et en informatique théorique, chacune formalisée dans Lean. Le modèle n’est pas publié et le nom reste provisoire.
il y a 3 h
