M'étonnerait qu'elle soit réfutée un jour, ça a l'air d'être vrai quand même. En tout cas c'est vrai pour 10 000 milliards de zéros.
Par contre si elle sera démontrée bientôt, et même si elle sera démontrée un jour, aucune idée. Il me semble qu'on ne sait même pas si elle est décidable. 