Quand un ordi prouve ce que les maths ne pouvaient pas

Imaginez colorier tous les nombres entiers en rouge ou bleu. Simple, non ? Sauf si vous devez éviter que trois nombres formant un triplet de Pythagore (comme 3, 4, 5) soient tous de la même couleur. C'est le casse-tête des triplets booléens : un problème qui a torturé les mathématiciens pendant des décennies. En 2016, trois chercheurs ont fait appel à un ordinateur surpuissant pour tester des milliards de combinaisons et trancher définitivement : impossible. Aucun schéma de coloration ne peut satisfaire cette contrainte pour tous les entiers. L'ordinateur a fourni une preuve si massive que même les humains ne peuvent pas la vérifier manuellement — une victoire bizarre où la machine dépasse l'intuition mathématique.