Partager les progrès de l’IA en mathématiques

OpenAI publie de nouveaux résultats d’un modèle interne de pointe sur des problèmes ouverts en mathématiques, ainsi que des formalisation de preuves Lean et des détails de recherche sur GitHub.

Langue de la source originale · anglais

Vérifié · 10 octobre 2026