Les gribouillages de Pierre de Fermat lancent les mathématiciens dans une quête de plusieurs siècles
Archives de photos historiques GRANGER/Alay
Les mathématiciens espèrent développer une preuve informatisée du dernier théorème de Fermat, une célèbre déclaration sur les nombres qui les séduit depuis des siècles, dans le cadre d’un projet ambitieux et pluriannuel visant à démontrer le potentiel des preuves mathématiques assistées par ordinateur.
Le théorème de Pierre de Fermat, qu’il a proposé pour la première fois vers 1640, stipule qu’il n’existe pas d’entiers ou de nombres entiers a, b et c qui satisfont à l’équation a.n + bn =cn pour tout entier n supérieur à 2. Fermat…
