Comment fédérer et certifier l’avancée de la démonstration théorème de Fermat par un ordinateur ? – France Culture
La démonstration du dernier théorème de Fermat, un défi mathématique séculaire, pourrait bénéficier d'une démarche collaborative à l'ère numérique. Cet ...
