scholze

Un assistant informatique confirme la preuve du mathématicien Peter Scholze

assistant, mathematicien, peter, preuve, scholze

Par numéro 7

Peter Scholze, one of the most respected mathematicians in the world, completed an important proof entirely in his head and hungover. A computerized proof assistant later confirmed that his work was correct. https://t.co/C1ts464S2Y pic.twitter.com/W16cMBPSAB...

Lire la suite

Peter Scholze, l’oracle de l’arithmétique

l’arithmetique, l’oracle, mathematiques, peter, scholze

Par numéro 7

Le mathématicien allemand Peter Scholze est l'un des quatre nouveaux lauréats de la médaille Fields, la plus prestigieuse récompense en mathématiques. Avec le concept de perfectoïde, il a mis au jour des liens profonds entre la théorie des nombres et...

Lire la suite