GPT-5 vient de passer ce que les chercheurs appellent le "Test de Gödel." Cela signifie qu'il ne se contente pas de résoudre des problèmes de manuels, il s'attaque à des conjectures mathématiques ouvertes qui prendraient normalement des jours à un étudiant en doctorat compétent pour être résolues. Dans un nouvel article, GPT-5 a été testé sur 5 conjectures d'optimisation non résolues. Il a résolu 3 sur 5. Sur un problème, il a même produit une preuve valide différente de celle que les chercheurs attendaient. Nous sommes officiellement entrés dans une ère où l'IA de pointe n'apprend pas seulement les mathématiques, elle fait des mathématiques. Les implications sont énormes : • Progrès sur des problèmes qui laissent les humains perplexes pendant des jours ou des semaines • L'IA contribuant à de véritables découvertes mathématiques • Un aperçu de la façon dont la recherche elle-même se transformera dans les années 2030 Les gens sous-estiment encore cela. L'impact des modèles capables de prouver des théorèmes vient à peine de commencer à être compris. C'est la ligne entre "un autocompléteur sophistiqué" et un véritable raisonnement scientifique.