ChatGPT-5.2, développé par OpenAI, a résolu une conjecture mathématique de longue date, démontrant ainsi la capacité de l'IA à générer de manière autonome des démonstrations originales. Des chercheurs de l'Université libre de Bruxelles décrivent cette avancée décisive comme un moyen de faire évoluer l'IA au-delà du texte et du code vers les mathématiques théoriques rigoureuses, ce qui pourrait faire passer le rôle des humains de celui de créateurs à celui de vérificateurs et accélérer les découvertes scientifiques.