Les mathématiciens accueillent une preuve assistée par ordinateur dans la théorie de la «grande unification»
Peter Scholze veut reconstruire une grande partie des mathématiques modernes, à partir de l'une de ses pierres angulaires.Maintenant, il a reçu une validation pour une preuve au cœur de sa quête d'une source improbable: une compu ...