Portail:Logique/Le saviez-vous?/Mai

Une page de Wikipédia, l'encyclopédie libre.

Une conjecture est une proposition mathématique dont on ne sait pas si c'est un théorème ou non. L'une des dernières conjectures à « tomber » a été la conjecture de Kepler. Comme sa démonstration n'a satisfait les mathématiciens qu'à 99%, ses promoteurs ont entrepris un projet de démonstration formelle assistée par ordinateur qui devrait aboutir d'ici vingt ans.