Un programme d'une décennie résout une conjecture mathématique séculaire

Deux mathématiciens ont exécuté un programme pendant plus d'une décennie, réfutant finalement la conjecture d'additivité de longue date. Utilisant une base de données massive qu'ils ont construite, ils ont traité des millions de nœuds, trouvant finalement un contre-exemple qui a brisé la conjecture. Cette histoire souligne le pouvoir de la persévérance et d'une méthodologie intelligente, démontrant les immenses défis cachés dans des problèmes mathématiques apparemment simples.