OpenAI partage ses avancées en mathématiques
OpenAI publie de nouveaux résultats sur des problèmes mathématiques ouverts, obtenus par un modèle interne de pointe. Les preuves formalisées en Lean et les détails de ces travaux sont disponibles sur GitHub.