home.social

#theoreme — Public Fediverse posts

Live and recent posts from across the Fediverse tagged #theoreme, aggregated by home.social.

  1. 📐 "Dernier théorème de #Fermat : à l'épreuve de l'informatique" (La Science, CQFD, 27 mars 2025)
    radiofrance.fr/franceculture/p
    "Un projet collaboratif s’est donné pour objectif de formaliser la #preuve du #théorème de Fermat afin de pouvoir l’apprendre à un ordinateur. Quel est l’enjeu de cette formalisation ? Pourquoi est-ce si compliqué ? Qu’est-ce qu’un assistant de preuve et quel est son rôle en mathématiques ?"

  2. Important !

    Le nombre de représentations d'un nombre entier n supérieur ou égal à zéro comme somme de quatre carrés est huit fois la somme de ses diviseurs si n est impair et vingt-quatre fois la somme de ses diviseurs impairs si n est pair

    #théorème de #Jacobi #maths #poème