L'Observateur de la Superintelligence
OpenAI

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.

À lire aussi

MIT Technology Review

EmTech Future 2026 : quand l’IA rencontre tous les domaines

Lors d’un événement de la MIT Technology Review, Yossi Matias, directeur de Google Research, a expliqué comment l’IA commence à transformer la biologie, les infrastructures, l’industrie et la science. Selon lui, son impact le plus fort viendra de sa rencontre avec d’autres disciplines.