Le dernier théorème de Fermat, un monument des maths auquel s’attaque une collaboration internationale

Un projet collaboratif a été lancé pour apprendre l’énoncé à un ordinateur. Un défi colossal, alors que celui-ci s’appuie sur des concepts profonds en théorie des nombres, en géométrie et en analyse.