Existe t-il des théorèmes qui n’ont jamais étés prouvés mais qui sont utilisés en science ?

Réponse publiée sur Quora

Allez, je ne vais pas chipoter sur la terminologie mais faire un petit retour en arrière.

le Théorème des quatre couleurs dit que 4 couleurs suffisent pour colorier les régions de n’importe quelle carte de manière à ce que des régions voisines aient des couleurs différentes.

Par exemple :

C’est évidemment super utilisé en science : géographie, visualisation de données, et on l’a fait longtemps avant que ce théorème soit démontré …

…en 1976, mais en utilisant un ordinateur pour explorer les 1478 cas critiques …

… ou en 2005, mais nécessitant encore un ordinateur pour vérifier la démonstration …

… ou pas encore si on estime qu’une démonstration doit être à la portée d’un être humain.

VoirDeux (deux ?) minutes pour… le théorème des 4 couleurs

https://www.youtube.com/watch?v=…