Rapports sur l'IA · OpenAI · 2026-10-06 · Blog / commentaire
Partager les progrès de l'IA en mathématiques
Titre original: Sharing AI progress in mathematics
OpenAI a publié de nouveaux résultats sur des problèmes ouverts en mathématiques obtenus par un modèle de pointe interne. Elle partage également des formalisations de preuves en Lean et des détails de recherche sur GitHub.