OpenAI fait état de dix avancées générées par IA en mathématiques et en informatique théorique
OpenAI affirme que son modèle Astra a produit dix avancées sur des problèmes de longue date en mathématiques et en informatique théorique, avec formalisation Lean pour examen.